org.jmlspecs.jml4.fspv.theory
Class TheoryBindStatement

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.TheoryStatement
      org.jmlspecs.jml4.fspv.theory.TheoryBindStatement

public class TheoryBindStatement
extends TheoryStatement

Field Summary

TheoryAssignmentStatement	assignment
TheoryTempVariableReference	tempVariableReference

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

EMPTY

Constructor Summary

TheoryBindStatement(TheoryTempVariableReference temp, TheoryAssignmentStatement assignment)

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

tempVariableReference

public final TheoryTempVariableReference tempVariableReference

assignment

public final TheoryAssignmentStatement assignment

Constructor Detail

TheoryBindStatement

public TheoryBindStatement(TheoryTempVariableReference temp,
                           TheoryAssignmentStatement assignment)

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 TheoryStatement