Class DataflowAwareCfgGuidedVisitor<Cfg, 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

Cfg extends ControlFlowInformation = ControlFlowInformation
Dfg extends DataflowInformation = DataflowInformation
Config extends DataflowCfgGuidedVisitorConfiguration<Cfg, Dfg> = DataflowCfgGuidedVisitorConfiguration<Cfg, Dfg>

Hierarchy (View Summary)

BasicCfgGuidedVisitor<Cfg, Config>
- DataflowAwareCfgGuidedVisitor
  - SemanticCfgGuidedVisitor

Hierarchy-Diagram

UML class diagram of DataflowAwareCfgGuidedVisitor

Index

Constructors

Properties

Methods

getCfgVertex getDataflowGraph onBasicBlockNode onEndMarkerNode onExpressionNode onMidMarkerNode onStatementNode onVisitNode start startVisitor visitFunctionCall visitFunctionDefinition visitNode visitValue visitVariableDefinition visitVariableUse

Constructors

constructor

new DataflowAwareCfgGuidedVisitor<
    Cfg extends
        ControlFlowInformation<CfgSimpleVertex> = ControlFlowInformation<
        CfgSimpleVertex,
    >,
    Dfg extends DataflowInformation = DataflowInformation,
    Config extends
        DataflowCfgGuidedVisitorConfiguration<Cfg, Dfg> = DataflowCfgGuidedVisitorConfiguration<
        Cfg,
        Dfg,
    >,
>(
    config: Config,
): DataflowAwareCfgGuidedVisitor<Cfg, Dfg, Config>
Type Parameters
- Cfg extends ControlFlowInformation<CfgSimpleVertex> = ControlFlowInformation<CfgSimpleVertex>
- Dfg extends DataflowInformation = DataflowInformation
- Config extends DataflowCfgGuidedVisitorConfiguration<Cfg, Dfg> = DataflowCfgGuidedVisitorConfiguration<Cfg, Dfg>
Parameters
- config: Config
Returns DataflowAwareCfgGuidedVisitor<Cfg, 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:36

`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:113

`Protected`onEndMarkerNode

onEndMarkerNode(_node: CfgEndMarkerVertex): void
Parameters
- _node: CfgEndMarkerVertex
Returns void
Inherited from BasicCfgGuidedVisitor.onEndMarkerNode
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:137

`Protected`onExpressionNode

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

`Protected`onMidMarkerNode

onMidMarkerNode(_node: CfgMidMarkerVertex): void
Parameters
- _node: CfgMidMarkerVertex
Returns void
Inherited from BasicCfgGuidedVisitor.onMidMarkerNode
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:133

`Protected`onStatementNode

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

`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`visitFunctionCall

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

`Protected`visitFunctionDefinition

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

`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`visitValue

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

`Protected`visitVariableDefinition

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

`Protected`visitVariableUse

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