Interface DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg>

interface DataflowCfgGuidedVisitorConfiguration<
    ControlFlow extends ControlFlowInformation = ControlFlowInformation,
    Dfg extends DataflowGraph = DataflowGraph,
> {
    controlFlow: ControlFlow;
    defaultVisitingOrder: "forward" | "backward";
    dfg: Dfg;
}

Type Parameters

ControlFlow extends ControlFlowInformation = ControlFlowInformation
Dfg extends DataflowGraph = DataflowGraph

Hierarchy (View Summary)

BasicCfgGuidedVisitorConfiguration<ControlFlow>
- DataflowCfgGuidedVisitorConfiguration
  - SemanticCfgGuidedVisitorConfiguration

Index

Properties

controlFlow defaultVisitingOrder dfg

Properties

`Readonly`controlFlow

controlFlow: ControlFlow

`Readonly`defaultVisitingOrder

defaultVisitingOrder: "forward" | "backward"

`Readonly`dfg

dfg: Dfg