eu.bandm.sig.absy
Class NList

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

public class NList
extends Net


Field Summary
protected  CheckedList<Net> elems
           
static Function<NList,CheckedList<Net>> get_elems
           
static Function<NList,CheckedMap_RD<Variable,Type>> get_locals
           
protected  CheckedMap_RD<Variable,Type> locals
           
static Consumer<CheckedList<Net>,NList> set_elems
           
static Consumer<CheckedMap_RD<Variable,Type>,NList> set_locals
           
 
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
NList()
           
 
Method Summary
 boolean containsKey_locals(Variable key0)
           
 void descend_elems(MATCH_ONLY_00 visitor)
           
 void descend_locals(MATCH_ONLY_00 visitor)
           
 NList doclone()
           
 Format format()
           
 CheckedList<Net> get_elems()
           
 CheckedMap_RD<Variable,Type> get_locals()
           
static String getFormatHint()
           
 NList initFrom(Object o0)
           
 void put_locals(Variable key0, Type value)
           
 boolean set_elems(CheckedList<Net> val)
           
 boolean set_locals(CheckedMap_RD<Variable,Type> val)
           
 
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

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

NList

public NList()
Method Detail

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)