Class FlowExploration::PartialPathNode

A Node augmented with a call context, an access path, and a configuration.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowImpl4

Direct supertypes

Known direct subtypes

    Predicates

    getASuccessor

    Gets a successor of this node, if any.

    getConfiguration

    Gets the associated configuration.

    getNode

    Gets the underlying Node.

    getSourceDistance

    Gets the approximate distance to the nearest source measured in number of interprocedural steps.

    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.

    toString

    Gets a textual representation of this element.

    toStringWithContext

    Gets a textual representation of this element, including a textual representation of the call context.