eu.bandm.sig.absy
Class OTuple

java.lang.Object
  extended by eu.bandm.sig.absy.Absy
      extended by eu.bandm.sig.absy.Operation
          extended by eu.bandm.sig.absy.AggregateOperation
              extended by eu.bandm.sig.absy.OTuple
All Implemented Interfaces:
Formattable, Cloneable

public class OTuple
extends AggregateOperation


Field Summary
protected  CheckedMap_RD<Label,Variable> elems
           
static Function<OTuple,CheckedMap_RD<Label,Variable>> get_elems
           
static Consumer<CheckedMap_RD<Label,Variable>,OTuple> set_elems
           
 
Fields inherited from class eu.bandm.sig.absy.AggregateOperation
get_open, open, set_open
 
Fields inherited from class eu.bandm.sig.absy.Operation
get_out, out, set_out
 
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
OTuple(Variable out)
           
 
Method Summary
 boolean containsKey_elems(Label key0)
           
 void descend_elems(MATCH_ONLY_00 visitor)
           
 OTuple doclone()
           
 Format format()
           
 CheckedMap_RD<Label,Variable> get_elems()
           
static String getFormatHint()
           
 OTuple initFrom(Object o0)
           
 void put_elems(Label key0, Variable value)
           
 boolean set_elems(CheckedMap_RD<Label,Variable> val)
           
 
Methods inherited from class eu.bandm.sig.absy.AggregateOperation
get_open, set_open
 
Methods inherited from class eu.bandm.sig.absy.Operation
get_out, set_out
 
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

elems

protected CheckedMap_RD<Label,Variable> elems

get_elems

public static final Function<OTuple,CheckedMap_RD<Label,Variable>> get_elems

set_elems

public static final Consumer<CheckedMap_RD<Label,Variable>,OTuple> set_elems
Constructor Detail

OTuple

public OTuple(Variable out)
Method Detail

doclone

public OTuple doclone()
Overrides:
doclone in class AggregateOperation

getFormatHint

public static String getFormatHint()

format

public Format format()
Specified by:
format in interface Formattable
Overrides:
format in class AggregateOperation

initFrom

public OTuple initFrom(Object o0)
Overrides:
initFrom in class AggregateOperation

get_elems

public CheckedMap_RD<Label,Variable> get_elems()

set_elems

public boolean set_elems(CheckedMap_RD<Label,Variable> val)

put_elems

public void put_elems(Label key0,
                      Variable value)

containsKey_elems

public boolean containsKey_elems(Label key0)

descend_elems

public void descend_elems(MATCH_ONLY_00 visitor)