Module Private

Nodes intended for only use inside the data-flow libraries.

Import path

import semmle.go.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.

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 represents returning a value from a function.