Class WideningConversionNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.WideningConversionNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node for the widening primitive conversion operation. See JLS 5.1.2 for the definition of
widening primitive conversion.
A WideningConversionNode
does not correspond to any tree node in the parsed AST. It is
introduced when a value of some primitive type appears in a context that requires a different
primitive with more bits of precision.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.checkerframework.dataflow.cfg.node.Node
getBlock, getInSource, getTransitiveOperands, getType, getUid, isLValue, nodeCollectionToString, setBlock, setInSource, setLValue, toStringDebug
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface org.plumelib.util.UniqueId
getClassAndUid
-
Field Details
-
tree
-
operand
-
-
Constructor Details
-
WideningConversionNode
-
-
Method Details