Class DataFlow::DataFlow::PathNode

A data flow node augmented with a call context and a configuration. Only nodes that are reachable from a source, and which can reach a sink, are generated.

Direct supertypes

Fields

Predicates

getASuccessor

Gets a successor path node, if any.

getConfiguration

Gets the associated configuration.

getLocation

Gets the location of this path node.

getNode

Gets the underlying data flow node.

toString

Gets a textual representation of this path node.

Charpred