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

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

public class SimplThisVariable
extends SimplLocalVariable

Field Summary

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

name, THIS, type

Constructor Summary

SimplThisVariable()

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

SimplThisVariable

public SimplThisVariable()