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

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

public class SugaredConditionalExpression
extends SugaredExpression

Field Summary

SugaredExpression	condition
SugaredExpression	valueIfFalse
SugaredExpression	valueIfTrue

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

EMPTY, sourceEnd, sourceStart, type

Constructor Summary

SugaredConditionalExpression(SugaredExpression condition, SugaredExpression valueIfTrue, SugaredExpression valueIfFalse, 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

condition

public final SugaredExpression condition

valueIfTrue

public final SugaredExpression valueIfTrue

valueIfFalse

public final SugaredExpression valueIfFalse

Constructor Detail

SugaredConditionalExpression

public SugaredConditionalExpression(SugaredExpression condition,
                                    SugaredExpression valueIfTrue,
                                    SugaredExpression valueIfFalse,
                                    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