eu.bandm.sig.absy
Class ETuple

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

public class ETuple
extends AggregateExpression


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

elems

protected CheckedMap_RD<Label,Expression> elems

get_elems

public static final Function<ETuple,CheckedMap_RD<Label,Expression>> get_elems

set_elems

public static final Consumer<CheckedMap_RD<Label,Expression>,ETuple> set_elems
Constructor Detail

ETuple

public ETuple()
Method Detail

doclone

public ETuple doclone()
Overrides:
doclone in class AggregateExpression

getFormatHint

public static String getFormatHint()

format

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

initFrom

public ETuple initFrom(Object o0)
Overrides:
initFrom in class AggregateExpression

get_elems

public CheckedMap_RD<Label,Expression> get_elems()

set_elems

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

put_elems

public void put_elems(Label key0,
                      Expression value)

containsKey_elems

public boolean containsKey_elems(Label key0)

descend_elems

public void descend_elems(MATCH_ONLY_00 visitor)