eu.bandm.sig.absy
Class EBox
java.lang.Object
eu.bandm.sig.absy.Absy
eu.bandm.sig.absy.Expression
eu.bandm.sig.absy.EBox
- All Implemented Interfaces:
- Formattable, Cloneable
public class EBox
- extends Expression
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
iface
protected PVar iface
get_iface
public static final Function<EBox,PVar> get_iface
set_iface
public static final Consumer<PVar,EBox> set_iface
oface
protected PVar oface
get_oface
public static final Function<EBox,PVar> get_oface
set_oface
public static final Consumer<PVar,EBox> set_oface
body
protected Constraint body
get_body
public static final Function<EBox,Constraint> get_body
set_body
public static final Consumer<Constraint,EBox> set_body
EBox
public EBox(PVar iface,
PVar oface,
Constraint body)
doclone
public EBox doclone()
- Overrides:
doclone
in class Expression
getFormatHint
public static String getFormatHint()
format
public Format format()
- Specified by:
format
in interface Formattable
- Overrides:
format
in class Expression
initFrom
public EBox initFrom(Object o0)
- Overrides:
initFrom
in class Expression
get_iface
public PVar get_iface()
set_iface
public boolean set_iface(PVar val)
get_oface
public PVar get_oface()
set_oface
public boolean set_oface(PVar val)
get_body
public Constraint get_body()
set_body
public boolean set_body(Constraint val)