Class SyntaxAwareCfgGuidedVisitor<OtherInfo, ControlFlow, Ast, Config>
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
Hierarchy-Diagram
Index
Constructors
Properties
Methods
get
Constructors
constructor
- new SyntaxAwareCfgGuidedVisitor<
OtherInfo = object,
ControlFlow extends
ControlFlowInformation<CfgSimpleVertex> = ControlFlowInformation<
CfgSimpleVertex,
>,
Ast extends
NormalizedAst<OtherInfo, RNode<OtherInfo & ParentInformation>> = NormalizedAst<
OtherInfo,
RNode<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<CfgSimpleVertex> = ControlFlowInformation<CfgSimpleVertex>
- Ast extends NormalizedAst<OtherInfo, RNode<OtherInfo & ParentInformation>> = NormalizedAst<OtherInfo, RNode<OtherInfo & ParentInformation>>
- Config extends SyntaxCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast> = SyntaxCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast>
Parameters
- config: Config
Returns SyntaxAwareCfgGuidedVisitor<OtherInfo, ControlFlow, Ast, Config>
Methods
Protectedget
Get the control flow vertex for the given node id or fail if it does not exist.
Parameters
- id: NodeId
Returns undefined | CfgSimpleVertex
Protectedget
Get the normalized AST node for the given id or fail if it does not exist.
Parameters
- id: NodeId
Returns undefined | RNode<OtherInfo & ParentInformation>
Protectedon
Parameters
- node: CfgBasicBlockVertex
Returns void
Protectedon
Parameters
- _node: CfgEndMarkerVertex
Returns void
Protectedon
Parameters
- node: CfgExpressionVertex
Returns void
Protectedon
Parameters
- node: CfgStatementVertex
Returns void
Protectedon
Parameters
- node: NodeId
Returns void
start
Start the visiting process.
Returns void
Protectedstart
Parameters
- start: readonly NodeId[]
Returns void
Protectedvisit
call this function to indicate that a node is to be considered visited.
Parameters
- node: NodeId
Returns boolean
trueif the node was not visited before,falseotherwise
This visitor extends on the BasicCfgGuidedVisitor by dispatching visitors based on the AST type of the node.
Use BasicCfgGuidedVisitor#start to start the traversal.