org.jmlspecs.jml4.fspv.theory
Class TheoryBlockExpression

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

Direct Known Subclasses:

TheoryInvariantExpression, TheoryVariantExpression

public class TheoryBlockExpression
extends TheoryExpression

Field Summary

static TheoryBlockExpression	EMPTY_BLOCK
TheoryExpression[]	expressions

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

EMPTY, type, withSideEffects

Constructor Summary

TheoryBlockExpression(TheoryExpression[] expressions, TheoryType type)

Method Summary

TheoryExpression	expressionAt(int i)
int	size()

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

Field Detail

EMPTY_BLOCK

public static final TheoryBlockExpression EMPTY_BLOCK

expressions

public final TheoryExpression[] expressions

Constructor Detail

TheoryBlockExpression

public TheoryBlockExpression(TheoryExpression[] expressions,
                             TheoryType type)

Method Detail

size

public int size()

expressionAt

public TheoryExpression expressionAt(int i)