Module Private

Import path

import semmle.code.java.dataflow.internal.DataFlowNodes

isArgumentNode	Holds if `arg` is an `ArgumentNode` of `c` with position `pos`.
isParameterNode	Holds if `p` is a `ParameterNode` of `c` with position `pos`.
nodeGetEnclosingCallable	Gets the callable in which this node occurs.

ArgumentNode	A data flow node that occurs as the argument of a call and is passed as-is to the callable. Arguments that are wrapped in an implicit varargs array creation are not included, but the implicitly created array is. Instance arguments are also included.
CaptureNode	A synthesized data flow node representing a closure object that tracks captured variables.
FlowSummaryNode	A data-flow node used to model flow summaries.
OutNode	A data flow node that represents the output of a call.
ReturnNode	A data flow node that occurs as the result of a `ReturnStmt`.
SummaryParameterNode