org.jmlspecs.jml4.fspv.theory
Class TheoryVariableReference

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

Direct Known Subclasses:

TheoryTempVariableReference

public class TheoryVariableReference
extends TheoryExpression

Author:

karabot

Field Summary

TheoryVariable

variable

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

EMPTY, type, withSideEffects

Constructor Summary

TheoryVariableReference(TheoryVariable variable)

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

variable

public final TheoryVariable variable

Constructor Detail

TheoryVariableReference

public TheoryVariableReference(TheoryVariable variable)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

visit

public java.lang.Object visit(TheoryVisitor visitor)

Overrides:

visit in class TheoryExpression