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

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

public class CfgIntegerConstant
extends CfgExpression

Field Summary

static CfgIntegerConstant	ONE
int	value

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

sourceEnd, sourceStart, type

Constructor Summary

CfgIntegerConstant(int 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

ONE

public static final CfgIntegerConstant ONE

value

public final int value

Constructor Detail

CfgIntegerConstant

public CfgIntegerConstant(int value,
                          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