eu.bandm.sig.absy
Class LambdaExpr
java.lang.Object
eu.bandm.sig.absy.Expr
eu.bandm.sig.absy.LambdaExpr
- All Implemented Interfaces:
- Cloneable
public class LambdaExpr
- extends Expr
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
rules
protected CheckedMap_RD<Label,Rule> rules
get_rules
public static Function<LambdaExpr,CheckedMap_RD<Label,Rule>> get_rules
LambdaExpr
public LambdaExpr()
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)