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;
    defaultVisitingOrder: "forward" | "backward";
    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

Hierarchy-Diagram

UML class diagram of SemanticCfgGuidedVisitorConfiguration

Index

Properties

controlFlow defaultVisitingOrder dfg normalizedAst

Properties

`Readonly`controlFlow

controlFlow: ControlFlow

`Readonly`defaultVisitingOrder

defaultVisitingOrder: "forward" | "backward"

`Readonly`dfg

dfg: Dfg

`Readonly`normalizedAst

normalizedAst: Ast