Uses of Class
org.jmlspecs.jml4.fspv.simpl.ast.SimplExpression

Packages that use SimplExpression

org.jmlspecs.jml4.fspv.simpl
org.jmlspecs.jml4.fspv.simpl.ast

Uses of SimplExpression in org.jmlspecs.jml4.fspv.simpl

Methods in org.jmlspecs.jml4.fspv.simpl that return SimplExpression

SimplExpression

SimplMemoryManagement.getExpression()

Methods in org.jmlspecs.jml4.fspv.simpl with parameters of type SimplExpression

void	SimplMemoryManagement.add(SimplExpression simplExpression)

Uses of SimplExpression in org.jmlspecs.jml4.fspv.simpl.ast

Subclasses of SimplExpression in org.jmlspecs.jml4.fspv.simpl.ast

class	SimplAndAndExpression
class	SimplAndExpression
class	SimplBinaryExpression
class	SimplBoolLiteral
class	SimplCallExpression
class	SimplDefinitionReference
class	SimplDivExpression
class	SimplEqualExpression
class	SimplFalseLiteral
class	SimplFieldReference
class	SimplForAllExpression
class	SimplGreaterEqualExpression
class	SimplGreaterExpression
class	SimplHolVariableReference
class	SimplIntLiteral
class	SimplInvariantExpression
class	SimplLessEqualExpression
class	SimplLessExpression
class	SimplLiteral
class	SimplMinusExpression
class	SimplMultExpression
class	SimplNatLiteral
class	SimplNewExpression
class	SimplNotEqualExpression
class	SimplNullLiteral
class	SimplPlusExpression
class	SimplPrestateVariableReference
class	SimplProcExpression
class	SimplTrueLiteral
class	SimplVariableReference
class	SimplVariantExpression

Fields in org.jmlspecs.jml4.fspv.simpl.ast declared as SimplExpression

SimplExpression	SimplWhileStatement.condition
SimplExpression	SimplVariantExpression.expression
SimplExpression	SimplInvariantExpression.expression
SimplExpression	SimplForAllExpression.expression
SimplExpression	SimplFieldReference.expression
SimplExpression	SimplDefinition.expression
SimplExpression	SimplBinaryExpression.expression
SimplExpression	SimplAssignment.expression
SimplExpression	SimplWhileStatement.invariant
SimplExpression	SimplBinaryExpression.left
SimplExpression	SimplAssignment.left
SimplExpression	SimplProcedure.memoryCountExpression
SimplExpression[]	SimplCallExpression.parameters
SimplExpression	SimplHoareTriplet.postcondition
SimplExpression	SimplHoareTriplet.precondition
SimplExpression	SimplFieldReference.receiver
static SimplExpression	SimplExpression.RESULT
static SimplExpression	SimplExpression.THIS
static SimplExpression	SimplExpression.THIS_EQUAL_PRE_THIS
static SimplExpression	SimplExpression.THIS_NOT_NULL
SimplExpression	SimplWhileStatement.variant

Methods in org.jmlspecs.jml4.fspv.simpl.ast that return SimplExpression

SimplExpression	SimplVariable.makePreStateEqualExpression()
SimplExpression	SimplVariable.makePreStateEqualExpression(SimplExpression receiver)

Methods in org.jmlspecs.jml4.fspv.simpl.ast with parameters of type SimplExpression

SimplExpression

SimplVariable.makePreStateEqualExpression(SimplExpression receiver)

Constructors in org.jmlspecs.jml4.fspv.simpl.ast with parameters of type SimplExpression

SimplAndAndExpression(SimplExpression left, SimplExpression expression)

SimplAndExpression(SimplExpression left, SimplExpression expression)

SimplAssignment(SimplExpression left, SimplExpression expression)

SimplBinaryExpression(SimplExpression left, SimplExpression expression)

SimplCallExpression(java.lang.String name, SimplExpression[] params)

SimplConstructor(java.lang.String name, SimplHoareState state, SimplArgument[] args, SimplLocalVariable[] locals, SimplStatement[] statements, SimplAssignment memoryAllocationAssignment, SimplExpression memoryCountExpression)

SimplDefinition(java.lang.String name, SimplExpression expression)

SimplDivExpression(SimplExpression left, SimplExpression expression)

SimplEqualExpression(SimplExpression left, SimplExpression expression)

SimplFieldReference(SimplExpression receiver, SimplExpression expression)

SimplForAllExpression(SimplHolVariableReference[] boundVariables, SimplExpression expression)

SimplGreaterEqualExpression(SimplExpression left, SimplExpression expression)

SimplGreaterExpression(SimplExpression left, SimplExpression expression)

SimplHoareTriplet(SimplHolVariableReference[] boundVariables, SimplExpression precondition, SimplStatement body, SimplExpression postcondition)

SimplInvariantExpression(SimplExpression expression)

SimplLessEqualExpression(SimplExpression left, SimplExpression expression)

SimplLessExpression(SimplExpression left, SimplExpression expression)

SimplMethod(java.lang.String name, SimplVariable thisObject, SimplHoareState state, SimplArgument[] args, SimplLocalVariable[] locals, SimplStatement[] ss, SimplLocalVariable result, SimplExpression memoryCountExpression)

SimplMinusExpression(SimplExpression left, SimplExpression expression)

SimplMultExpression(SimplExpression left, SimplExpression expression)

SimplNotEqualExpression(SimplExpression left, SimplExpression expression)

SimplPlusExpression(SimplExpression left, SimplExpression expression)

SimplProcedure(java.lang.String name, SimplHoareState state, SimplArgument[] args, SimplLocalVariable[] locals, SimplStatement[] ss, SimplVariable result, SimplExpression memoryCountExpression)

SimplProcExpression(java.lang.String name, SimplExpression[] params)

SimplVariantExpression(SimplExpression expression)

SimplWhileStatement(SimplExpression condition, SimplStatement body, SimplExpression invariant, SimplExpression variant)