Class DataFlow::ExplicitParameterNode
A parameter, viewed as a node in a data flow graph.
Import path
import semmle.code.java.dataflow.DataFlowDirect supertypes
Fields
Predicates
| getLocation | Gets the source location for this element. |
| getParameter | Gets the parameter corresponding to this node. |
| isParameterOf | Holds if this node is the parameter of |
| toString | Gets a textual representation of this element. |
Inherited predicates
| asExpr | Gets the expression corresponding to this node, if any. | from Node |
| asParameter | Gets the parameter corresponding to this node, if any. | from Node |
| getEnclosingCallable | Gets the callable in which this node occurs. | from Node |
| getType | Gets the type of this node. | from Node |
| getTypeBound | Gets an upper bound on the type of this node. | from Node |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |