org.jmlspecs.jml4.fspv.theory
Class TheorySideEffectExpression

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

Direct Known Subclasses:

TheoryAssignmentExpression, TheoryPostfixExpression, TheoryPrefixExpression

public class TheorySideEffectExpression
extends TheoryExpression

Field Summary

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

EMPTY, type, withSideEffects

Constructor Summary

TheorySideEffectExpression(TheoryType type)

Method Summary

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

visit

Methods inherited from class java.lang.Object

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

Constructor Detail

TheorySideEffectExpression

public TheorySideEffectExpression(TheoryType type)