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";
    defaultVisitingType?: "exit" | "entry";
    dfg: Dfg;
    normalizedAst: Ast;
}

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 defaultVisitingType? dfg normalizedAst

Properties

`Readonly`controlFlow

controlFlow: ControlFlow

`Readonly`ctx

ctx: ReadOnlyFlowrAnalyzerContext

`Readonly`defaultVisitingOrder

defaultVisitingOrder: "forward" | "backward"

`Optional` `Readonly`defaultVisitingType

defaultVisitingType?: "exit" | "entry"

`Readonly`dfg

dfg: Dfg

`Readonly`normalizedAst

normalizedAst: Ast