Class BasicCfgGuidedVisitor<ControlFlow, Config>

In contrast to visitCfgInOrder and visitCfgInReverseOrder, this visitor is not a simple visitor and serves as the basis for a variety of more complicated visiting orders of the control flow graph. It includes features to provide additional information using the NormalizedAst and the DataflowGraph.

Use BasicCfgGuidedVisitor#start to start the traversal.

Type Parameters

ControlFlow extends ControlFlowInformation = ControlFlowInformation
Config extends BasicCfgGuidedVisitorConfiguration<ControlFlow> = BasicCfgGuidedVisitorConfiguration<ControlFlow>

Hierarchy (View Summary)

BasicCfgGuidedVisitor
- DataflowAwareCfgGuidedVisitor
- SyntaxAwareCfgGuidedVisitor

Hierarchy-Diagram

UML class diagram of BasicCfgGuidedVisitor

Index

Constructors

Properties

Methods

getCfgVertex onBasicBlockNode onEndMarkerNode onExpressionNode onStatementNode onVisitNode start startVisitor visitNode

Constructors

constructor

new BasicCfgGuidedVisitor<
    ControlFlow extends
        ControlFlowInformation<CfgVertex> = ControlFlowInformation<CfgVertex>,
    Config extends
        BasicCfgGuidedVisitorConfiguration<ControlFlow> = BasicCfgGuidedVisitorConfiguration<
        ControlFlow,
    >,
>(
    config: Config,
): BasicCfgGuidedVisitor<ControlFlow, Config>
Type Parameters
- ControlFlow extends ControlFlowInformation<CfgVertex> = ControlFlowInformation<CfgVertex>
- Config extends BasicCfgGuidedVisitorConfiguration<ControlFlow> = BasicCfgGuidedVisitorConfiguration<ControlFlow>
Parameters
- config: Config
Returns BasicCfgGuidedVisitor<ControlFlow, Config>
- 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): CfgVertex | undefined
Get the control flow vertex for the given node id or fail if it does not exist.
Parameters
- id: NodeId
Returns CfgVertex | undefined
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:82

`Protected`onBasicBlockNode

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

`Protected`onEndMarkerNode

onEndMarkerNode(_node: CfgMarkerVertex): void
Parameters
- _node: CfgMarkerVertex
Returns void
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:132

`Protected`onExpressionNode

onExpressionNode(_node: CfgExpressionVertex): void
Parameters
- _node: CfgExpressionVertex
Returns void
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:128

`Protected`onStatementNode

onStatementNode(_node: CfgStatementVertex): void
Parameters
- _node: CfgStatementVertex
Returns void
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:124

`Protected`onVisitNode

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

start

start(): void
Start the visiting process.

Returns void
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:75

`Protected`startVisitor

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

`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
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:42