eu.bandm.sig.absy
Class EBox

java.lang.Object
  extended by eu.bandm.sig.absy.Absy
      extended by eu.bandm.sig.absy.Expression
          extended by eu.bandm.sig.absy.EBox
All Implemented Interfaces:
Formattable, Cloneable

public class EBox
extends Expression


Field Summary
protected  Constraint body
           
static Function<EBox,Constraint> get_body
           
static Function<EBox,PVar> get_iface
           
static Function<EBox,PVar> get_oface
           
protected  PVar iface
           
protected  PVar oface
           
static Consumer<Constraint,EBox> set_body
           
static Consumer<PVar,EBox> set_iface
           
static Consumer<PVar,EBox> set_oface
           
 
Fields inherited from class eu.bandm.sig.absy.Expression
get_type, set_type, type
 
Fields inherited from class eu.bandm.sig.absy.Absy
get_location, location, set_location
 
Fields inherited from interface eu.bandm.tools.format.Formattable
format
 
Constructor Summary
EBox(PVar iface, PVar oface, Constraint body)
           
 
Method Summary
 EBox doclone()
           
 Format format()
           
 Constraint get_body()
           
 PVar get_iface()
           
 PVar get_oface()
           
static String getFormatHint()
           
 EBox initFrom(Object o0)
           
 boolean set_body(Constraint val)
           
 boolean set_iface(PVar val)
           
 boolean set_oface(PVar val)
           
 
Methods inherited from class eu.bandm.sig.absy.Expression
get_type, set_type
 
Methods inherited from class eu.bandm.sig.absy.Absy
get_location, set_location
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

EBox

public EBox(PVar iface,
            PVar oface,
            Constraint body)
Method Detail

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)