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

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

public final class CfgBooleanConstant
extends CfgExpression

Field Summary

static CfgBooleanConstant	FALSE
static CfgBooleanConstant	TRUE
boolean	value

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

sourceEnd, sourceStart, type

Constructor Summary

CfgBooleanConstant(boolean value, 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

TRUE

public static final CfgBooleanConstant TRUE

FALSE

public static final CfgBooleanConstant FALSE

value

public final boolean value

Constructor Detail

CfgBooleanConstant

public CfgBooleanConstant(boolean value,
                          int sourceStart,
                          int sourceEnd)

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in class CfgExpression

accept

public VC accept(WlpVisitor visitor)

Specified by:

accept in class CfgExpression

accept

public CfgExpression accept(CfgExpressionVisitor visitor)

Specified by:

accept in class CfgExpression