A Node
augmented with a call context (except for sinks), an access path, and a configuration.
Only those PathNode
s that are reachable from a source, and which can reach a sink, are generated.
Import path
import csharp
Predicates
getASuccessor | Gets a successor of this node, if any. |
getConfiguration | Gets the associated configuration. |
getNode | Gets the underlying |
getState | Gets the |
hasLocationInfo | Holds if this element is at the specified location. The location spans column |
isSinkGroup | Holds if this node is a grouping of sink nodes. |
isSource | Holds if this node is a source. |
isSourceGroup | Holds if this node is a grouping of source nodes. |
toString | Gets a textual representation of this element. |
toStringWithContext | Gets a textual representation of this element, including a textual representation of the call context. |