org.jmlspecs.jml4.fspv.theory
Class TheoryTempVariableReference

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.TheoryExpression
      org.jmlspecs.jml4.fspv.theory.TheoryVariableReference
          org.jmlspecs.jml4.fspv.theory.TheoryTempVariableReference

public class TheoryTempVariableReference
extends TheoryVariableReference

Field Summary

int	incarnation

Fields inherited from class org.jmlspecs.jml4.fspv.theory.TheoryVariableReference

variable

Fields inherited from class org.jmlspecs.jml4.fspv.theory.TheoryExpression

EMPTY, type, withSideEffects

Constructor Summary

TheoryTempVariableReference(TheoryVariableReference v, int i)

Method Summary

java.lang.String	toString()
java.lang.Object	visit(TheoryVisitor visitor)

Methods inherited from class java.lang.Object

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

Field Detail

incarnation

public final int incarnation

Constructor Detail

TheoryTempVariableReference

public TheoryTempVariableReference(TheoryVariableReference v,
                                   int i)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class TheoryVariableReference

visit

public java.lang.Object visit(TheoryVisitor visitor)

Overrides:

visit in class TheoryVariableReference