org.jmlspecs.jml4.esc.gc.lang.sugared.expr
Class SugaredQuantifiedExpression

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression
      org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredQuantifiedExpression

public class SugaredQuantifiedExpression
extends SugaredExpression

Field Summary

SugaredExpression	body
SugaredVarDecl[]	boundVariables
SugaredQuantifier	quantifier
SugaredExpression	range

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression

EMPTY, sourceEnd, sourceStart, type

Constructor Summary

SugaredQuantifiedExpression(SugaredQuantifier quantifier, SugaredExpression range, SugaredExpression body, SugaredVarDecl[] boundVariables, TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

SimpleExpression	accept(DesugaringVisitor visitor)
SugaredExpression	accept(SugaredExpressionVisitor visitor)
java.lang.String	toString()

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression

clearSourcePosition, equals, hashCode

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

quantifier

public final SugaredQuantifier quantifier

range

public final SugaredExpression range

body

public final SugaredExpression body

boundVariables

public final SugaredVarDecl[] boundVariables

Constructor Detail

SugaredQuantifiedExpression

public SugaredQuantifiedExpression(SugaredQuantifier quantifier,
                                   SugaredExpression range,
                                   SugaredExpression body,
                                   SugaredVarDecl[] boundVariables,
                                   TypeBinding type,
                                   int sourceStart,
                                   int sourceEnd)

Method Detail

accept

public SimpleExpression accept(DesugaringVisitor visitor)

Specified by:

accept in class SugaredExpression

accept

public SugaredExpression accept(SugaredExpressionVisitor visitor)

Specified by:

accept in class SugaredExpression

toString

public java.lang.String toString()

Specified by:

toString in class SugaredExpression