eu.bandm.sig.absy
Class LambdaExpr

java.lang.Object
  extended by eu.bandm.sig.absy.Expr
      extended by eu.bandm.sig.absy.LambdaExpr
All Implemented Interfaces:
Cloneable

public class LambdaExpr
extends Expr


Field Summary
static Function<LambdaExpr,CheckedMap_RD<Label,Rule>> get_rules
           
protected  CheckedMap_RD<Label,Rule> rules
           
 
Fields inherited from class eu.bandm.sig.absy.Expr
get_locator, get_type, locator, type
 
Constructor Summary
LambdaExpr()
           
 
Method Summary
 void descend_rules(MATCH_ONLY_00 visitor)
           
 LambdaExpr doclone()
           
 CheckedMap_RD<Label,Rule> get_rules()
           
static String getFormatHint()
           
 LambdaExpr initFrom(Object o0)
           
 void put_rules(Label key0, Rule value)
           
 void set_rules(CheckedMap_RD<Label,Rule> val)
           
 
Methods inherited from class eu.bandm.sig.absy.Expr
get_locator, get_type, set_locator, set_type
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

rules

protected CheckedMap_RD<Label,Rule> rules

get_rules

public static Function<LambdaExpr,CheckedMap_RD<Label,Rule>> get_rules
Constructor Detail

LambdaExpr

public LambdaExpr()
Method Detail

doclone

public LambdaExpr doclone()
Overrides:
doclone in class Expr

getFormatHint

public static String getFormatHint()

initFrom

public LambdaExpr initFrom(Object o0)
Overrides:
initFrom in class Expr

get_rules

public CheckedMap_RD<Label,Rule> get_rules()

set_rules

public void set_rules(CheckedMap_RD<Label,Rule> val)

put_rules

public void put_rules(Label key0,
                      Rule value)

descend_rules

public void descend_rules(MATCH_ONLY_00 visitor)