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

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

public class SugaredIntegerConstant
extends SugaredExpression

Field Summary

static SugaredIntegerConstant	MINUS_ONE
static SugaredIntegerConstant	ONE
int	value
static SugaredIntegerConstant	ZERO

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

EMPTY, sourceEnd, sourceStart, type

Constructor Summary

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

ZERO

public static final SugaredIntegerConstant ZERO

ONE

public static final SugaredIntegerConstant ONE

MINUS_ONE

public static final SugaredIntegerConstant MINUS_ONE

value

public final int value

Constructor Detail

SugaredIntegerConstant

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