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

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

public class SimpleConditionalExpression
extends SimpleExpression

Field Summary

SimpleExpression	condition
SimpleExpression	valueIfFalse
SimpleExpression	valueIfTrue

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

sourceEnd, sourceStart, type

Constructor Summary

SimpleConditionalExpression(SimpleExpression condition, SimpleExpression valueIfTrue, SimpleExpression valueIfFalse, 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

condition

public final SimpleExpression condition

valueIfTrue

public final SimpleExpression valueIfTrue

valueIfFalse

public final SimpleExpression valueIfFalse

Constructor Detail

SimpleConditionalExpression

public SimpleConditionalExpression(SimpleExpression condition,
                                   SimpleExpression valueIfTrue,
                                   SimpleExpression valueIfFalse,
                                   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