Class SyntaxAwareCfgGuidedVisitor<OtherInfo, ControlFlow, Ast, Config>

This visitor extends on the BasicCfgGuidedVisitor by dispatching visitors based on the AST type of the node.

Use BasicCfgGuidedVisitor#start to start the traversal.

Type Parameters

OtherInfo = NoInfo
ControlFlow extends ControlFlowInformation = ControlFlowInformation
Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>
Config extends SyntaxCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast> = SyntaxCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast>

Hierarchy (View Summary)

BasicCfgGuidedVisitor<ControlFlow, Config>
- SyntaxAwareCfgGuidedVisitor

Constructors

constructor

new SyntaxAwareCfgGuidedVisitor<
    OtherInfo = object,
    ControlFlow extends
        ControlFlowInformation<CfgVertex> = ControlFlowInformation<CfgVertex>,
    Ast extends
        NormalizedAst<OtherInfo, RProject<OtherInfo & ParentInformation>> = NormalizedAst<
        OtherInfo,
        RProject<OtherInfo & ParentInformation>,
    >,
    Config extends
        SyntaxCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast> = SyntaxCfgGuidedVisitorConfiguration<
        OtherInfo,
        ControlFlow,
        Ast,
    >,
>(
    config: Config,
): SyntaxAwareCfgGuidedVisitor<OtherInfo, ControlFlow, Ast, Config>
Type Parameters
- OtherInfo = object
- ControlFlow extends ControlFlowInformation<CfgVertex> = ControlFlowInformation<CfgVertex>
- Ast extends NormalizedAst<OtherInfo, RProject<OtherInfo & ParentInformation>> = NormalizedAst<OtherInfo, RProject<OtherInfo & ParentInformation>>
- Config extends SyntaxCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast> = SyntaxCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast>
Parameters
- config: Config
Returns SyntaxAwareCfgGuidedVisitor<OtherInfo, ControlFlow, Ast, Config>
Inherited from BasicCfgGuidedVisitor.constructor
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:33

Properties

`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
Inherited from BasicCfgGuidedVisitor.getCfgVertex
- Defined in src/control-flow/basic-cfg-guided-visitor.ts:82

`Protected`getNormalizedAst

getNormalizedAst(id: NodeId): RNode<OtherInfo & ParentInformation> | undefined
Get the normalized AST node for the given id or fail if it does not exist.
Parameters
- id: NodeId
Returns RNode<OtherInfo & ParentInformation> | undefined
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:62

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

`Protected`onEndMarkerNode

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

`Protected`onExpressionNode

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

`Protected`onStatementNode

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

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

start

start(): void
Start the visiting process.

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

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

`Protected`visitRAccess

visitRAccess(_node: RAccess<OtherInfo & ParentInformation>): void
RAccess
Parameters
- _node: RAccess<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:135

`Protected`visitRArgument

visitRArgument(_node: RArgument<OtherInfo & ParentInformation>): void
RArgument
Parameters
- _node: RArgument<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:139

`Protected`visitRBinaryOp

visitRBinaryOp(_node: RBinaryOp<OtherInfo & ParentInformation>): void
RBinaryOp
Parameters
- _node: RBinaryOp<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:143

`Protected`visitRBreak

visitRBreak(_node: RBreak<OtherInfo & ParentInformation>): void
RBreak
Parameters
- _node: RBreak<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:187

`Protected`visitRComment

visitRComment(_node: RComment<OtherInfo & ParentInformation>): void
RComment
Parameters
- _node: RComment<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:191

`Protected`visitRExpressionList

visitRExpressionList(
_node: RExpressionList<OtherInfo & ParentInformation>,
): void
RExpressionList
Parameters
- _node: RExpressionList<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:147

`Protected`visitRForLoop

visitRForLoop(_node: RForLoop<OtherInfo & ParentInformation>): void
RForLoop
Parameters
- _node: RForLoop<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:151

`Protected`visitRFunctionCall

visitRFunctionCall(_node: RFunctionCall<OtherInfo & ParentInformation>): void
RFunctionCall
Parameters
- _node: RFunctionCall<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:155

`Protected`visitRFunctionDefinition

visitRFunctionDefinition(
_node: RFunctionDefinition<OtherInfo & ParentInformation>,
): void
RFunctionDefinition
Parameters
- _node: RFunctionDefinition<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:159

`Protected`visitRIfThenElse

visitRIfThenElse(_node: RIfThenElse<OtherInfo & ParentInformation>): void
RIfThenElse
Parameters
- _node: RIfThenElse<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:163

`Protected`visitRLineDirective

visitRLineDirective(_node: RLineDirective<OtherInfo & ParentInformation>): void
RLineDirective
Parameters
- _node: RLineDirective<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:195

`Protected`visitRLogical

visitRLogical(_node: RLogical<OtherInfo & ParentInformation>): void
RLogical
Parameters
- _node: RLogical<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:199

`Protected`visitRNext

visitRNext(_node: RNext<OtherInfo & ParentInformation>): void
RNext
Parameters
- _node: RNext<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:203

`Protected`visitRNumber

visitRNumber(_node: RNumber<OtherInfo & ParentInformation>): void
RNumber
Parameters
- _node: RNumber<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:207

`Protected`visitRParameter

visitRParameter(_node: RParameter<OtherInfo & ParentInformation>): void
RParameter
Parameters
- _node: RParameter<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:167

`Protected`visitRPipe

visitRPipe(_node: RPipe<OtherInfo & ParentInformation>): void
RPipe
Parameters
- _node: RPipe<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:171

`Protected`visitRRepeatLoop

visitRRepeatLoop(_node: RRepeatLoop<OtherInfo & ParentInformation>): void
RRepeatLoop
Parameters
- _node: RRepeatLoop<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:175

`Protected`visitRString

visitRString(_node: RString<OtherInfo & ParentInformation>): void
RString
Parameters
- _node: RString<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:211

`Protected`visitRSymbol

visitRSymbol(_node: RSymbol<OtherInfo & ParentInformation>): void
RSymbol
Parameters
- _node: RSymbol<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:215

`Protected`visitRUnaryOp

visitRUnaryOp(_node: RUnaryOp<OtherInfo & ParentInformation>): void
RUnaryOp
Parameters
- _node: RUnaryOp<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:179

`Protected`visitRWhileLoop

visitRWhileLoop(_node: RWhileLoop<OtherInfo & ParentInformation>): void
RWhileLoop
Parameters
- _node: RWhileLoop<OtherInfo & ParentInformation>
Returns void
- Defined in src/control-flow/syntax-cfg-guided-visitor.ts:183