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

Packages that use SimplVariable

org.jmlspecs.jml4.fspv.simpl.ast

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

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

class	SimplArgument
class	SimplGlobalVariable
class	SimplLocalVariable
class	SimplThisVariable

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

SimplVariable	SimplProcedure.result
static SimplVariable	SimplVariable.THIS
SimplVariable	SimplMethod.thisObject

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

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

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