Class DataflowAwareCfgGuidedVisitor<ControlFlow, Dfg, Config>

This visitor extends on the BasicCfgGuidedVisitor by dispatching visitors based on the dataflow graph.

Use BasicCfgGuidedVisitor#start to start the traversal.

Type Parameters

ControlFlow extends ControlFlowInformation = ControlFlowInformation
Dfg extends DataflowGraph = DataflowGraph
Config extends DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg> = DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg>

Hierarchy (View Summary)

BasicCfgGuidedVisitor<ControlFlow, Config>
- DataflowAwareCfgGuidedVisitor
  - SemanticCfgGuidedVisitor

Hierarchy-Diagram

UML class diagram of DataflowAwareCfgGuidedVisitor

Constructors

constructor

new DataflowAwareCfgGuidedVisitor<
    ControlFlow extends
        ControlFlowInformation<CfgSimpleVertex> = ControlFlowInformation<
        CfgSimpleVertex,
    >,
    Dfg extends
        DataflowGraph<DataflowGraphVertexInfo, DataflowGraphEdge> = DataflowGraph<
        DataflowGraphVertexInfo,
        DataflowGraphEdge,
    >,
    Config extends
        DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg> = DataflowCfgGuidedVisitorConfiguration<
        ControlFlow,
        Dfg,
    >,
>(
    config: Config,
): DataflowAwareCfgGuidedVisitor<ControlFlow, Dfg, Config>
Type Parameters
- ControlFlow extends ControlFlowInformation<CfgSimpleVertex> = ControlFlowInformation<CfgSimpleVertex>
- Dfg extends DataflowGraph<DataflowGraphVertexInfo, DataflowGraphEdge> = DataflowGraph<DataflowGraphVertexInfo, DataflowGraphEdge>
- Config extends DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg> = DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg>
Parameters
- config: Config
Returns DataflowAwareCfgGuidedVisitor<ControlFlow, Dfg, Config>
Inherited from BasicCfgGuidedVisitor.constructor
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:33

Properties

`Protected` `Readonly`config

config: Config

`Protected` `Readonly`visited

visited: Map<NodeId, number>

Methods

`Protected`getCfgVertex

getCfgVertex(id: NodeId): undefined | CfgSimpleVertex
Get the control flow vertex for the given node id or fail if it does not exist.
Parameters
- id: NodeId
Returns undefined | CfgSimpleVertex
Inherited from BasicCfgGuidedVisitor.getCfgVertex
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:81

`Protected`getDataflowGraph

getDataflowGraph(id: NodeId): undefined | DataflowGraphVertexArgument
Get the dataflow graph vertex for the given id
Parameters
- id: NodeId
Returns undefined | DataflowGraphVertexArgument
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:37

`Protected`onBasicBlockNode

onBasicBlockNode(node: CfgBasicBlockVertex): void
Parameters
- node: CfgBasicBlockVertex
Returns void
Inherited from BasicCfgGuidedVisitor.onBasicBlockNode
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:110

`Protected`onEndMarkerNode

onEndMarkerNode(node: CfgEndMarkerVertex): void
Parameters
- node: CfgEndMarkerVertex
Returns void
Overrides BasicCfgGuidedVisitor.onEndMarkerNode
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:58

`Protected`onExpressionNode

onExpressionNode(node: CfgExpressionVertex): void
Parameters
- node: CfgExpressionVertex
Returns void
Overrides BasicCfgGuidedVisitor.onExpressionNode
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:50

`Protected`onStatementNode

onStatementNode(node: CfgStatementVertex): void
Parameters
- node: CfgStatementVertex
Returns void
Overrides BasicCfgGuidedVisitor.onStatementNode
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:42

`Protected`onVisitNode

onVisitNode(node: NodeId): void
Parameters
- node: NodeId
Returns void
Inherited from BasicCfgGuidedVisitor.onVisitNode
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:86

start

start(): void
Start the visiting process.

Returns void
Inherited from BasicCfgGuidedVisitor.start
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:74

`Protected`startVisitor

startVisitor(start: readonly NodeId[]): void
Parameters
- start: readonly NodeId[]
Returns void
Inherited from BasicCfgGuidedVisitor.startVisitor
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:52

`Protected`visitDataflowNode

visitDataflowNode(
node: CfgStatementVertex | CfgExpressionVertex | CfgEndMarkerVertex,
): void
Parameters
- node: CfgStatementVertex | CfgExpressionVertex | CfgEndMarkerVertex
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:66

`Protected`visitFunctionCall

visitFunctionCall(_call: DataflowGraphVertexFunctionCall): void
Parameters
- _call: DataflowGraphVertexFunctionCall
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:113

`Protected`visitFunctionDefinition

visitFunctionDefinition(_def: DataflowGraphVertexFunctionDefinition): void
Parameters
- _def: DataflowGraphVertexFunctionDefinition
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:110

`Protected`visitNode

visitNode(node: NodeId): boolean
call this function to indicate that a node is to be considered visited.
Parameters
- node: NodeId
Returns boolean
true if the node was not visited before, false otherwise
Inherited from BasicCfgGuidedVisitor.visitNode
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:43

`Protected`visitUnknown

visitUnknown(
_vertex: CfgStatementVertex | CfgExpressionVertex | CfgEndMarkerVertex,
): void
called for every cfg vertex that has no corresponding dataflow vertex.
Parameters
- _vertex: CfgStatementVertex | CfgExpressionVertex | CfgEndMarkerVertex
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:98

`Protected`visitValue

visitValue(_val: DataflowGraphVertexValue): void
Parameters
- _val: DataflowGraphVertexValue
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:101

`Protected`visitVariableDefinition

visitVariableDefinition(_def: DataflowGraphVertexVariableDefinition): void
Parameters
- _def: DataflowGraphVertexVariableDefinition
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:107

`Protected`visitVariableUse

visitVariableUse(_use: DataflowGraphVertexUse): void
Parameters
- _use: DataflowGraphVertexUse
Returns void
- Defined in src/control-flow/dfg-cfg-guided-visitor.ts:104