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

getASuccessor	Gets a successor of this node, if any.
getLocation	Gets the location of this node.
getNode	Gets the underlying `Node`.
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 `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.
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.