org.jmlspecs.jml4.fspv.theory
Class TheoryOldExpression

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

public class TheoryOldExpression
extends TheoryExpression

Field Summary

TheoryExpression

expression

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

EMPTY, type, withSideEffects

Constructor Summary

TheoryOldExpression(TheoryExpression e)

Method Summary

java.lang.Object

visit(TheoryVisitor visitor)

Methods inherited from class java.lang.Object

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

Field Detail

expression

public final TheoryExpression expression

Constructor Detail

TheoryOldExpression

public TheoryOldExpression(TheoryExpression e)

Method Detail

visit

public java.lang.Object visit(TheoryVisitor visitor)

Overrides:

visit in class TheoryExpression