Interface SemanticCfgGuidedVisitorConfiguration<OtherInfo, Cfg, Ast, Dfg>

interface SemanticCfgGuidedVisitorConfiguration<
    OtherInfo = NoInfo,
    Cfg extends ControlFlowInformation = ControlFlowInformation,
    Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>,
    Dfg extends DataflowInformation = DataflowInformation,
> {
    controlFlow: Cfg;
    dataflow: Dfg;
    defaultVisitingOrder: "forward" | "backward";
    normalizedAst: Ast;
}

Type Parameters

OtherInfo = NoInfo
Cfg extends ControlFlowInformation = ControlFlowInformation
Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>
Dfg extends DataflowInformation = DataflowInformation

Hierarchy (View Summary)

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

Hierarchy-Diagram

UML class diagram of SemanticCfgGuidedVisitorConfiguration

Index

Properties

controlFlow dataflow defaultVisitingOrder normalizedAst

Properties

`Readonly`controlFlow

controlFlow: Cfg

`Readonly`dataflow

dataflow: Dfg

`Readonly`defaultVisitingOrder

defaultVisitingOrder: "forward" | "backward"

`Readonly`normalizedAst

normalizedAst: Ast