eu.bandm.sig.absy
Class NList
java.lang.Object
eu.bandm.sig.absy.Absy
eu.bandm.sig.absy.Net
eu.bandm.sig.absy.NList
- All Implemented Interfaces:
- Formattable, Cloneable
public class NList
- extends Net
Constructor Summary |
NList()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
locals
protected CheckedMap_RD<Variable,Type> locals
get_locals
public static final Function<NList,CheckedMap_RD<Variable,Type>> get_locals
set_locals
public static final Consumer<CheckedMap_RD<Variable,Type>,NList> set_locals
elems
protected CheckedList<Net> elems
get_elems
public static final Function<NList,CheckedList<Net>> get_elems
set_elems
public static final Consumer<CheckedList<Net>,NList> set_elems
NList
public NList()
doclone
public NList doclone()
- Overrides:
doclone
in class Net
getFormatHint
public static String getFormatHint()
format
public Format format()
- Specified by:
format
in interface Formattable
- Overrides:
format
in class Net
initFrom
public NList initFrom(Object o0)
- Overrides:
initFrom
in class Net
get_locals
public CheckedMap_RD<Variable,Type> get_locals()
set_locals
public boolean set_locals(CheckedMap_RD<Variable,Type> val)
put_locals
public void put_locals(Variable key0,
Type value)
containsKey_locals
public boolean containsKey_locals(Variable key0)
descend_locals
public void descend_locals(MATCH_ONLY_00 visitor)
get_elems
public CheckedList<Net> get_elems()
set_elems
public boolean set_elems(CheckedList<Net> val)
descend_elems
public void descend_elems(MATCH_ONLY_00 visitor)