org.jmlspecs.jml4.fspv.theory
Class TheoryAssignmentExpression

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.TheoryExpression
      org.jmlspecs.jml4.fspv.theory.TheorySideEffectExpression
          org.jmlspecs.jml4.fspv.theory.TheoryAssignmentExpression

public class TheoryAssignmentExpression
extends TheorySideEffectExpression

Field Summary

TheoryAssignmentStatement

assignment

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

EMPTY, type, withSideEffects

Constructor Summary

TheoryAssignmentExpression(TheoryAssignmentStatement a)

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

assignment

public final TheoryAssignmentStatement assignment

Constructor Detail

TheoryAssignmentExpression

public TheoryAssignmentExpression(TheoryAssignmentStatement a)

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