org.jmlspecs.jml4.fspv.theory
Class TheoryQuantifiedExpression

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

public class TheoryQuantifiedExpression
extends TheoryExpression

Field Summary

TheoryExpression	body
TheoryQuantifier	quantifier
TheoryExpression	range
TheoryVariable	variable

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

EMPTY, type, withSideEffects

Constructor Summary

TheoryQuantifiedExpression(TheoryQuantifier quantifier, TheoryVariable variable, TheoryExpression range, TheoryExpression body)

Method Summary

java.lang.String	toString()
java.lang.Object	visit(TheoryVisitor visitor)

Methods inherited from class java.lang.Object

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

Field Detail

quantifier

public final TheoryQuantifier quantifier

variable

public final TheoryVariable variable

range

public final TheoryExpression range

body

public final TheoryExpression body

Constructor Detail

TheoryQuantifiedExpression

public TheoryQuantifiedExpression(TheoryQuantifier quantifier,
                                  TheoryVariable variable,
                                  TheoryExpression range,
                                  TheoryExpression body)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

visit

public java.lang.Object visit(TheoryVisitor visitor)

Overrides:

visit in class TheoryExpression