Class AnyPatternNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.AnyPatternNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node for an any pattern, which is "
_
" in "case _ -> ...code that ignores the
switched value...
" or "case MyType(_) -> ...
".-
Field Summary
-
Constructor Summary
ConstructorsConstructorDescriptionAnyPatternNode
(TypeMirror type, Tree anyPatternTree) Creates aAnyPatternNode
. -
Method Summary
Modifier and TypeMethodDescription<R,
P> R accept
(NodeVisitor<R, P> visitor, P p) Accept method of the visitor pattern.getTree()
Returns theTree
in the abstract syntax tree, ornull
if no corresponding tree exists.toString()
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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface org.plumelib.util.UniqueId
getClassAndUid
-
Constructor Details
-
AnyPatternNode
Creates aAnyPatternNode
.- Parameters:
type
- the type of the nodeanyPatternTree
- theAnyPatternTree
-
-
Method Details
-
getTree
Description copied from class:Node
Returns theTree
in the abstract syntax tree, ornull
if no corresponding tree exists. For instance, this is the case for anImplicitThisNode
. -
accept
Description copied from class:Node
Accept method of the visitor pattern. -
getOperands
Description copied from class:Node
- Specified by:
getOperands
in classNode
- Returns:
- a collection containing all of the operand
Node
s of thisNode
-
toString
-