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

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplVariable

Direct Known Subclasses:

SimplGlobalVariable, SimplLocalVariable

public class SimplVariable
extends SimplTheoryNode

Field Summary

java.lang.String	name
static SimplVariable	THIS
SimplType	type

Constructor Summary

SimplVariable(java.lang.String name, SimplType type)

Method Summary

SimplHolVariableReference	getHolVariableReference()
SimplLiteral	getInitialValue()
SimplVariableReference	getVariableReference()
SimplExpression	makePreStateEqualExpression()
SimplExpression	makePreStateEqualExpression(SimplExpression receiver)
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

THIS

public static final SimplVariable THIS

name

public final java.lang.String name

type

public final SimplType type

Constructor Detail

SimplVariable

public SimplVariable(java.lang.String name,
                     SimplType type)

Method Detail

getVariableReference

public SimplVariableReference getVariableReference()

getInitialValue

public SimplLiteral getInitialValue()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

makePreStateEqualExpression

public SimplExpression makePreStateEqualExpression()

makePreStateEqualExpression

public SimplExpression makePreStateEqualExpression(SimplExpression receiver)

getHolVariableReference

public SimplHolVariableReference getHolVariableReference()