Class MarkerNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.MarkerNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
- Direct Known Subclasses:
CatchMarkerNode
MarkerNodes are no-op Nodes used for debugging information. They can hold a Tree and a message,
which will be part of the String representation of the MarkerNode.
An example use case for MarkerNodes is representing switch statements.
-
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
-
message
-
-
Constructor Details
-
MarkerNode
-
-
Method Details