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.TypeTracking
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 |