Interface SemanticCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast, Dfg>

interface SemanticCfgGuidedVisitorConfiguration<
    OtherInfo = NoInfo,
    ControlFlow extends ControlFlowInformation = ControlFlowInformation,
    Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>,
    Dfg extends DataflowGraph = DataflowGraph,
> {
    controlFlow: ControlFlow;
    ctx: ReadOnlyFlowrAnalyzerContext;
    defaultVisitingOrder: "forward" | "backward";
    dfg: Dfg;
    normalizedAst: Pick<Ast, "idMap">;
}

Type Parameters

OtherInfo = NoInfo
ControlFlow extends ControlFlowInformation = ControlFlowInformation
Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>
Dfg extends DataflowGraph = DataflowGraph

Hierarchy (View Summary)

DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg>
SyntaxCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast>
- SemanticCfgGuidedVisitorConfiguration

Index

Properties

controlFlow ctx defaultVisitingOrder dfg normalizedAst

Properties

`Readonly`controlFlow

controlFlow: ControlFlow

`Readonly`ctx

ctx: ReadOnlyFlowrAnalyzerContext

`Readonly`defaultVisitingOrder

defaultVisitingOrder: "forward" | "backward"

`Readonly`dfg

dfg: Dfg

`Readonly`normalizedAst

normalizedAst: Pick<Ast, "idMap">

the ast the vertices refer to; only the id map is used, so cfgVisitorConfig can take it from the dataflow graph