org.jmlspecs.jml4.esc.gc.lang.expr
Class CfgConditionalExpression

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.expr.CfgExpression
      org.jmlspecs.jml4.esc.gc.lang.expr.CfgConditionalExpression

public class CfgConditionalExpression
extends CfgExpression

Field Summary

CfgExpression	condition
CfgExpression	valueIfFalse
CfgExpression	valueIfTrue

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

sourceEnd, sourceStart, type

Constructor Summary

CfgConditionalExpression(CfgExpression condition, CfgExpression valueIfTrue, CfgExpression valueIfFalse, TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

CfgExpression	accept(CfgExpressionVisitor visitor)
VC	accept(WlpVisitor 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 CfgExpression condition

valueIfTrue

public final CfgExpression valueIfTrue

valueIfFalse

public final CfgExpression valueIfFalse

Constructor Detail

CfgConditionalExpression

public CfgConditionalExpression(CfgExpression condition,
                                CfgExpression valueIfTrue,
                                CfgExpression valueIfFalse,
                                TypeBinding type,
                                int sourceStart,
                                int sourceEnd)

Method Detail

accept

public VC accept(WlpVisitor visitor)

Specified by:

accept in class CfgExpression

accept

public CfgExpression accept(CfgExpressionVisitor visitor)

Specified by:

accept in class CfgExpression

toString

public java.lang.String toString()

Specified by:

toString in class CfgExpression