eu.bandm.sig.absy
Class EBox
java.lang.Object
   eu.bandm.sig.absy.Absy
eu.bandm.sig.absy.Absy
       eu.bandm.sig.absy.Expression
eu.bandm.sig.absy.Expression
           eu.bandm.sig.absy.EBox
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:
- doclonein class- Expression
 
- 
 
getFormatHint
public static String getFormatHint()
- 
 
format
public Format format()
- 
- Specified by:
- formatin interface- Formattable
- Overrides:
- formatin class- Expression
 
- 
 
initFrom
public EBox initFrom(Object o0)
- 
- Overrides:
- initFromin 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)
-