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, type
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, 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, visitList
exceptions, exceptions, reachable, reachable
static 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()