| Modifier and Type | Interface and Description |
|---|---|
static class |
IntLit.Kind
Integer literal kinds: int (e.g., 0) or long (e.g., 0L).
|
Term.Instance| Modifier and Type | Field and Description |
|---|---|
static IntLit.Kind |
INT |
static IntLit.Kind |
LONG |
| Modifier and Type | Method and Description |
|---|---|
boolean |
boundary()
Is this a boundary case, i.e., max int or max long + 1?
|
IntLit.Kind |
kind()
Get the kind of the literal: INT or LONG.
|
IntLit |
kind(IntLit.Kind kind)
Set the kind of the literal: INT or LONG.
|
java.lang.String |
positiveToString()
Print the string as a positive number.
|
long |
value()
Get the literal's value.
|
IntLit |
value(long value)
Set the literal's value.
|
constantValue, constantValueSet, isConstant, precedence, printSubExpr, printSubExpr, typedel, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdgeaddDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitListexceptions, exceptions, reachable, reachablestatic final IntLit.Kind INT
static final IntLit.Kind LONG
long value()
IntLit value(long value)
IntLit.Kind kind()
IntLit kind(IntLit.Kind kind)
boolean boundary()
java.lang.String positiveToString()