eu.bandm.sig.absy
Class CaseExpr

java.lang.Object
  eu.bandm.sig.absy.Expr
      eu.bandm.sig.absy.CaseExpr

All Implemented Interfaces:

Cloneable

public class CaseExpr
extends Expr

Field Summary

static Function<CaseExpr,Expr>	get_head
static Function<CaseExpr,CheckedMap_RD<Label,Rule>>	get_rules
protected Expr	head
protected CheckedMap_RD<Label,Rule>	rules

Fields inherited from class eu.bandm.sig.absy.Expr

get_locator, get_type, locator, type

Constructor Summary

protected	CaseExpr()
	CaseExpr(Expr head)

Method Summary

void	descend_rules(MATCH_ONLY_00 visitor)
CaseExpr	doclone()
Expr	get_head()
CheckedMap_RD<Label,Rule>	get_rules()
static String	getFormatHint()
CaseExpr	initFrom(Object o0)
void	put_rules(Label key0, Rule value)
void	set_head(Expr val)
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

head

protected Expr head

get_head

public static Function<CaseExpr,Expr> get_head

rules

protected CheckedMap_RD<Label,Rule> rules

get_rules

public static Function<CaseExpr,CheckedMap_RD<Label,Rule>> get_rules

Constructor Detail

CaseExpr

public CaseExpr(Expr head)

CaseExpr

protected CaseExpr()

Method Detail

doclone

public CaseExpr doclone()

Overrides:

doclone in class Expr

getFormatHint

public static String getFormatHint()

initFrom

public CaseExpr initFrom(Object o0)

Overrides:

initFrom in class Expr

get_head

public Expr get_head()

set_head

public void set_head(Expr val)

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)