Class DataFlow :: ExplicitParameterNode
A parameter, viewed as a node in a data flow graph.
Import path
import semmle.code.java.dataflow.DataFlow
Direct 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 |