org.jmlspecs.jml4.fspv.theory
Class TheoryVariantExpression

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.TheoryExpression
      org.jmlspecs.jml4.fspv.theory.TheoryBlockExpression
          org.jmlspecs.jml4.fspv.theory.TheoryVariantExpression

public class TheoryVariantExpression
extends TheoryBlockExpression

Field Summary

static TheoryVariantExpression

EMPTY_VARIANT

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

EMPTY_BLOCK, expressions

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

EMPTY, type, withSideEffects

Constructor Summary

TheoryVariantExpression(TheoryExpression[] expressions)

Method Summary

java.lang.Object

visit(TheoryVisitor visitor)

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

expressionAt, size

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY_VARIANT

public static final TheoryVariantExpression EMPTY_VARIANT

Constructor Detail

TheoryVariantExpression

public TheoryVariantExpression(TheoryExpression[] expressions)

Method Detail

visit

public java.lang.Object visit(TheoryVisitor visitor)

Overrides:

visit in class TheoryExpression