eu.bandm.sig.absy
Class LetExpr

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

All Implemented Interfaces:

Cloneable

public class LetExpr
extends Expr

Field Summary

protected Expr	body
protected CheckedList<Equation>	equations
static Function<LetExpr,Expr>	get_body
static Function<LetExpr,CheckedList<Equation>>	get_equations

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

get_locator, get_type, locator, type

Constructor Summary

protected	LetExpr()
	LetExpr(Expr body)

Method Summary

void	descend_equations(MATCH_ONLY_00 visitor)
LetExpr	doclone()
Expr	get_body()
CheckedList<Equation>	get_equations()
static String	getFormatHint()
LetExpr	initFrom(Object o0)
void	set_body(Expr val)
void	set_equations(CheckedList<Equation> 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

equations

protected CheckedList<Equation> equations

get_equations

public static Function<LetExpr,CheckedList<Equation>> get_equations

body

protected Expr body

get_body

public static Function<LetExpr,Expr> get_body

Constructor Detail

LetExpr

public LetExpr(Expr body)

LetExpr

protected LetExpr()

Method Detail

doclone

public LetExpr doclone()

Overrides:

doclone in class Expr

getFormatHint

public static String getFormatHint()

initFrom

public LetExpr initFrom(Object o0)

Overrides:

initFrom in class Expr

get_equations

public CheckedList<Equation> get_equations()

set_equations

public void set_equations(CheckedList<Equation> val)

descend_equations

public void descend_equations(MATCH_ONLY_00 visitor)

get_body

public Expr get_body()

set_body

public void set_body(Expr val)