Class TypeTracking::TypeTrack::Graph::PathNode
A node on a path that is reachable from a source and can reach a sink.
This is a pair of a Node
and a TypeTracker
.
Import path
import codeql.typetracking.internal.TypeTrackingImpl
Direct supertypes
Indirect supertypes
Inherited predicates
getNode | Gets the node of this | from PathNodeFwd |
getTypeTracker | Gets the typetracker of this | from PathNodeFwd |
isSink | Holds if this is a sink. | from PathNodeFwd |
isSource | Holds if this is a source. | from PathNodeFwd |
toString | Gets a textual representation of this node. | from PathNodeFwd |