public class IntLit_c extends NumLit_c implements IntLit
IntLit
represents a literal in Java of an integer
type.IntLit.Kind
Term.Instance
Modifier and Type | Field and Description |
---|---|
protected IntLit.Kind |
kind
The kind of literal: INT or LONG.
|
exceptions, reachable
Constructor and Description |
---|
IntLit_c(Position pos,
IntLit.Kind kind,
long value) |
IntLit_c(Position pos,
IntLit.Kind kind,
long value,
Ext ext) |
Modifier and Type | Method and Description |
---|---|
boolean |
boundary()
Is this a boundary case, i.e., max int or max long + 1?
|
java.lang.Object |
constantValue(Lang lang)
Return the constant value of the expression, if any.
|
Node |
copy(NodeFactory nf)
Produce a copy of this node using the given NodeFactory.
|
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.
|
protected <N extends IntLit_c> |
kind(N n,
IntLit.Kind kind) |
java.lang.String |
positiveToString()
Print the string as a positive number.
|
Precedence |
precedence()
Get the precedence of the expression.
|
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Pretty-print the AST using the given
CodeWriter . |
java.lang.String |
toString() |
Node |
typeCheck(TypeChecker tc)
Type check the AST.
|
long |
value()
Get the literal's value.
|
IntLit |
value(long value)
Set the literal's value.
|
protected <N extends IntLit_c> |
value(N n,
long value) |
acceptCFG, constantValueSet, firstChild, isConstant
booleanValue, buildTypes, byteValue, charValue, constantValue, constantValueSet, doubleValue, extRewrite, floatValue, intValue, isConstant, isTypeChecked, lastLang, longValue, printSubExpr, printSubExpr, shortValue, stringValue, type, type, type
exceptionCheck, exceptions, exceptions, exceptions, listChild, reachable, reachable, reachable
addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copyIfNeeded, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, isDisambiguated, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, translate, typeCheckEnter, typeCheckOverride, visit, visitChild, visitChildren, visitEdge, visitList
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
constantValue, constantValueSet, isConstant, printSubExpr, printSubExpr, type
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
exceptions, exceptions, reachable, reachable
protected IntLit.Kind kind
public IntLit_c(Position pos, IntLit.Kind kind, long value)
public IntLit_c(Position pos, IntLit.Kind kind, long value, Ext ext)
public boolean boundary()
IntLit
public long value()
IntLit
public IntLit value(long value)
IntLit
protected <N extends IntLit_c> N value(N n, long value)
public IntLit.Kind kind()
IntLit
public IntLit kind(IntLit.Kind kind)
IntLit
protected <N extends IntLit_c> N kind(N n, IntLit.Kind kind)
public Node typeCheck(TypeChecker tc) throws SemanticException
NodeOps
leave()
method of the
visitor. The method should perform work that should be done
after visiting the children of the node. The method may return
this
or a new copy of the node which will be
installed as a child of the node's parent.typeCheck
in interface NodeOps
typeCheck
in class Node_c
tc
- The type checking visitor.SemanticException
public java.lang.String positiveToString()
IntLit
positiveToString
in interface IntLit
public void prettyPrint(CodeWriter w, PrettyPrinter tr)
Node_c
CodeWriter
.prettyPrint
in interface NodeOps
prettyPrint
in class Node_c
w
- The code writer to which to write.tr
- The pretty printer. This is not a visitor.public java.lang.Object constantValue(Lang lang)
ExprOps
isConstant()
is true.constantValue
in interface ExprOps
constantValue
in class Lit_c
public Precedence precedence()
Expr
precedence
in interface Expr
precedence
in class Lit_c