Class MakeImpl::Impl::FlowExploration::Public::PartialPathNode
A Node
augmented with a call context, an access path, and a configuration.
Import path
import codeql.dataflow.internal.DataFlowImpl
Direct supertypes
Predicates
getASuccessor | Gets a successor of this node, if any. |
getLocation | Gets the location of this node. |
getNode | Gets the underlying |
getSinkDistance | Gets the approximate distance to the nearest sink measured in number of interprocedural steps. |
getSourceDistance | Gets the approximate distance to the nearest source measured in number of interprocedural steps. |
getState | |
hasLocationInfo | Holds if this element is at the specified location. The location spans column |
isFwdSource | Holds if this is a source in a forward-flow path. |
isRevSink | Holds if this is a sink in a reverse-flow path. |
toString | Gets a textual representation of this element. |
toStringWithContext | Gets a textual representation of this element, including a textual representation of the call context. |