org.jmlspecs.jml4.fspv.theory
Class TheoryExpression

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

Direct Known Subclasses:

TheoryBinaryExpression, TheoryBlockExpression, TheoryLiteral, TheoryLoopAnnotationsExpression, TheoryOldExpression, TheoryQuantifiedExpression, TheorySideEffectExpression, TheoryUnaryExpression, TheoryVariableReference

public class TheoryExpression
extends java.lang.Object

Author:

karabot

Field Summary

static TheoryExpression[]	EMPTY
TheoryType	type
boolean	withSideEffects

Constructor Summary

TheoryExpression(TheoryType type)

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

EMPTY

public static final TheoryExpression[] EMPTY

withSideEffects

public boolean withSideEffects

type

public final TheoryType type

Constructor Detail

TheoryExpression

public TheoryExpression(TheoryType type)

Method Detail

visit

public java.lang.Object visit(TheoryVisitor visitor)