Interface DataflowInformation

The dataflow information is continuously updated during the dataflow analysis and holds its current state for the respective subtree processed.

interface DataflowInformation {
    entryPoint: NodeId;
    environment: REnvironmentInformation;
    exitPoints: readonly ExitPoint[];
    graph: DataflowGraph<DataflowGraphVertexInfo, DataflowGraphEdge>;
    in: readonly IdentifierReference[];
    out: readonly IdentifierReference[];
    unknownReferences: readonly IdentifierReference[];
}

Hierarchy (view full)

DataflowCfgInformation
- DataflowInformation

Hierarchy-Diagram

UML class diagram of DataflowInformation

Index

Properties

entryPoint environment exitPoints graph in out unknownReferences

Properties

entryPoint

entryPoint: NodeId

The entry node into the subgraph

environment

environment: REnvironmentInformation

Current environments used for name resolution, probably updated on the next expression-list processing

exitPoints

exitPoints: readonly ExitPoint[]

All already identified exit points (active 'return'/'break'/'next'-likes) of the respective structure.

graph

graph: DataflowGraph<DataflowGraphVertexInfo, DataflowGraphEdge>

The current constructed dataflow graph

in

in: readonly IdentifierReference[]

References which are read

out

out: readonly IdentifierReference[]

References which are written to

unknownReferences

unknownReferences: readonly IdentifierReference[]

References that have not been identified as read or write and will be so on higher