org.jmlspecs.jml4.esc.gc.lang.simple.expr
Class SimpleQuantifiedExpression

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleExpression
      org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleQuantifiedExpression

public class SimpleQuantifiedExpression
extends SimpleExpression

Field Summary

SimpleExpression	body
SimpleVarDecl[]	boundVariables
SimpleQuantifier	quantifier
SimpleExpression	range

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleExpression

sourceEnd, sourceStart, type

Constructor Summary

SimpleQuantifiedExpression(SimpleQuantifier quantifier, SimpleExpression range, SimpleExpression body, SimpleVarDecl[] boundVariables, TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

CfgExpression	accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
SimpleExpression	accept(SimpleExprVisitor visitor)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

quantifier

public final SimpleQuantifier quantifier

range

public final SimpleExpression range

body

public final SimpleExpression body

boundVariables

public final SimpleVarDecl[] boundVariables

Constructor Detail

SimpleQuantifiedExpression

public SimpleQuantifiedExpression(SimpleQuantifier quantifier,
                                  SimpleExpression range,
                                  SimpleExpression body,
                                  SimpleVarDecl[] boundVariables,
                                  TypeBinding type,
                                  int sourceStart,
                                  int sourceEnd)

Method Detail

accept

public CfgExpression accept(PassifyVisitor visitor,
                            IncarnationMap incarnationMap)

Specified by:

accept in class SimpleExpression

accept

public SimpleExpression accept(SimpleExprVisitor visitor)

Specified by:

accept in class SimpleExpression

toString

public java.lang.String toString()

Specified by:

toString in class SimpleExpression