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

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

public final class SugaredBooleanConstant
extends SugaredExpression

Field Summary

static SugaredBooleanConstant	TRUE
boolean	value

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

EMPTY, sourceEnd, sourceStart, type

Constructor Summary

SugaredBooleanConstant(boolean 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

TRUE

public static final SugaredBooleanConstant TRUE

value

public final boolean value

Constructor Detail

SugaredBooleanConstant

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

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in class SugaredExpression

accept

public SimpleExpression accept(DesugaringVisitor visitor)

Specified by:

accept in class SugaredExpression

accept

public SugaredExpression accept(SugaredExpressionVisitor visitor)

Specified by:

accept in class SugaredExpression