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

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

Direct Known Subclasses:

SimplArgument, SimplThisVariable

public class SimplLocalVariable
extends SimplVariable

Field Summary

Fields inherited from class org.jmlspecs.jml4.fspv.simpl.ast.SimplVariable

name, THIS, type

Constructor Summary

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

Method Summary

Methods inherited from class org.jmlspecs.jml4.fspv.simpl.ast.SimplVariable

getHolVariableReference, getInitialValue, getVariableReference, makePreStateEqualExpression, makePreStateEqualExpression, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

SimplLocalVariable

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