Uses of Class
eu.bandm.sig.absy.Expression

Packages that use Expression

eu.bandm.sig.absy	created on 2012-06-22_17h11m15 by program umod, version 0.17 command line = umod --getterfunctions true --setterfunctions true --monolithic false --swingtree true -x 0 /home/lepper/sig//src eu.bandm.sig.absy sig2.umod
eu.bandm.sig.semantics

Uses of Expression in eu.bandm.sig.absy

Subclasses of Expression in eu.bandm.sig.absy

class	AggregateExpression
class	EApply
class	EBox
class	ECast
class	ECotuple
class	EFun
class	ELet
class	ENum
class	ESelect
class	ETuple
class	EVar

Fields in eu.bandm.sig.absy declared as Expression

protected Expression	EApply.arg
protected Expression	ECotuple.body
protected Expression	ESelect.body
protected Expression	ELet.body
protected Expression	ECast.body
protected Expression	EApply.fun
protected Expression	CEquation.right
protected Expression	REquation.right

Fields in eu.bandm.sig.absy with type parameters of type Expression

protected CheckedMap_RD<Label,Expression>	ETuple.elems
static Function<EApply,Expression>	EApply.get_arg
static Function<ECotuple,Expression>	ECotuple.get_body
static Function<ESelect,Expression>	ESelect.get_body
static Function<ELet,Expression>	ELet.get_body
static Function<ECast,Expression>	ECast.get_body
static Function<ETuple,CheckedMap_RD<Label,Expression>>	ETuple.get_elems
static Function<EApply,Expression>	EApply.get_fun
static Function<CEquation,Expression>	CEquation.get_right
static Function<REquation,Expression>	REquation.get_right
static Function<Expression,Type>	Expression.get_type
static Consumer<Expression,EApply>	EApply.set_arg
static Consumer<Expression,ECotuple>	ECotuple.set_body
static Consumer<Expression,ESelect>	ESelect.set_body
static Consumer<Expression,ELet>	ELet.set_body
static Consumer<Expression,ECast>	ECast.set_body
static Consumer<CheckedMap_RD<Label,Expression>,ETuple>	ETuple.set_elems
static Consumer<Expression,EApply>	EApply.set_fun
static Consumer<Expression,CEquation>	CEquation.set_right
static Consumer<Expression,REquation>	REquation.set_right
static Consumer<Type,Expression>	Expression.set_type

Methods in eu.bandm.sig.absy that return Expression

Expression	Expression.doclone()
Expression	EApply.get_arg()
Expression	ECotuple.get_body()
Expression	ESelect.get_body()
Expression	ELet.get_body()
Expression	ECast.get_body()
Expression	EApply.get_fun()
Expression	CEquation.get_right()
Expression	REquation.get_right()
Expression	Expression.initFrom(Object o0)

Methods in eu.bandm.sig.absy that return types with arguments of type Expression

CheckedMap_RD<Label,Expression>

ETuple.get_elems()

Methods in eu.bandm.sig.absy with parameters of type Expression

protected void	__TREEGEN__.Inner1.Inner2.action(Expression e0)
protected void	__Formatter.action(Expression el)
protected void	Visitor.action(Expression e0)
protected void	Rewriter.action(Expression e0)
protected void	MATCH_ONLY_00.action(Expression e0)
void	MATCH_ONLY_00.match(Expression e0)
void	ETuple.put_elems(Label key0, Expression value)
protected void	Rewriter.rewriteFields(Expression clone)
boolean	EApply.set_arg(Expression val)
boolean	ECotuple.set_body(Expression val)
boolean	ESelect.set_body(Expression val)
boolean	ELet.set_body(Expression val)
boolean	ECast.set_body(Expression val)
boolean	EApply.set_fun(Expression val)
boolean	CEquation.set_right(Expression val)
boolean	REquation.set_right(Expression val)
protected Format	__Formatter.toFormat(Expression el)

Method parameters in eu.bandm.sig.absy with type arguments of type Expression

boolean

ETuple.set_elems(CheckedMap_RD<Label,Expression> val)

Constructors in eu.bandm.sig.absy with parameters of type Expression

CEquation(Pattern left, Expression right)

EApply(Expression fun, Expression arg)

ECast(boolean open, Type target, Expression body)

ECotuple(Label selector, Expression body)

ELet(Constraint constraint, Expression body)

ESelect(Label selector, Expression body)

REquation(Pattern left, Expression right)

Uses of Expression in eu.bandm.sig.semantics

Methods in eu.bandm.sig.semantics that return Expression

Expression

Sig2Reducer.reduceExpr(eu.bandm.sig.tdom.Element element)

Methods in eu.bandm.sig.semantics with parameters of type Expression

Constant	Normalizer.normalizeDefinition(Expression e)
static eu.bandm.sig.semantics.TermAlgebra.Variables	TermAlgebra.variables(Expression e)