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

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplStatement
          org.jmlspecs.jml4.fspv.simpl.ast.SimplExpression
              org.jmlspecs.jml4.fspv.simpl.ast.SimplVariableReference
                  org.jmlspecs.jml4.fspv.simpl.ast.SimplHolVariableReference

public class SimplHolVariableReference
extends SimplVariableReference

Field Summary

static SimplHolVariableReference

SIGMA

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

name

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

RESULT, THIS, THIS_EQUAL_PRE_THIS, THIS_NOT_NULL

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

SKIP

Constructor Summary

SimplHolVariableReference(java.lang.String name)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

SIGMA

public static final SimplHolVariableReference SIGMA

Constructor Detail

SimplHolVariableReference

public SimplHolVariableReference(java.lang.String name)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class SimplVariableReference