Uses of Class
examples.v2c.tr.expressions.TRExpression

Packages that use TRExpression

Package	Description
examples.v2c.tr.definitions
examples.v2c.tr.expressions

Uses of TRExpression in examples.v2c.tr.definitions

Constructors in examples.v2c.tr.definitions with parameters of type TRExpression

Modifier	Constructor	Description
	TRExplicitFunctionDefinition(com.fujitsu.vdmj.ast.lex.LexCommentList comments, com.fujitsu.vdmj.tc.lex.TCNameToken name, TRFunctionType type, TRParameterList parameters, TRExpression body)
	TRValueDefinition(com.fujitsu.vdmj.ast.lex.LexCommentList comments, com.fujitsu.vdmj.tc.patterns.TCPattern pattern, TRType type, TRExpression exp)

Uses of TRExpression in examples.v2c.tr.expressions

Subclasses of TRExpression in examples.v2c.tr.expressions

Modifier and Type	Class	Description
class	TRApplyExpression
class	TRBinaryExpression
class	TRCompareExpression
class	TRDivideExpression
class	TREqualsExpression
class	TRIfExpression
class	TRLiteralExpression
class	TRPlusExpression
class	TRSubtractExpression
class	TRTimesExpression
class	TRVariableExpression

Fields in examples.v2c.tr.expressions declared as TRExpression

Modifier and Type	Field	Description
protected final TRExpression	TRBinaryExpression.left
protected final TRExpression	TRBinaryExpression.right

Constructors in examples.v2c.tr.expressions with parameters of type TRExpression

Modifier	Constructor	Description
	TRApplyExpression(TRExpression root, TRExpressionList args)
	TRBinaryExpression(TRExpression left, TRExpression right)
	TRCompareExpression(TRExpression left, com.fujitsu.vdmj.ast.lex.LexToken op, TRExpression right)
	TRDivideExpression(TRExpression left, TRExpression right)
	TREqualsExpression(TRExpression left, TRExpression right)
	TRIfExpression(TRExpression ifExp, TRExpression thenExp, TRExpression elseExp)
	TRPlusExpression(TRExpression left, TRExpression right)
	TRSubtractExpression(TRExpression left, TRExpression right)
	TRTimesExpression(TRExpression left, TRExpression right)