Class DataFlow :: MidPathNode
A path node corresponding to an intermediate node on a path from a source to a sink.
A mid node is a triple (nd, cfg, summary)
where nd
is a data-flow node and cfg
is a configuration such that nd
is on a path from a source to a sink under cfg
summarized by summary
.
Import path
import javascript
Indirect supertypes
Fields
Predicates
Inherited predicates
getASuccessor |
Gets a successor node of this path node. |
from PathNode |
getConfiguration |
Gets the underlying configuration of this path node. |
from PathNode |
getFlowLabel |
Gets a flow label for the path node. |
from PathNode |
getNode |
Gets the underlying data-flow node of this path node. |
from PathNode |
getPathSummary |
Gets a summary for the path node. |
from PathNode |
hasLocationInfo |
Holds if this path node is at the specified location. The location spans column |
from PathNode |
toString |
Gets a textual representation of this path node. |
from PathNode |
wraps |
Holds if this path node wraps data-flow node |
from PathNode |