Interface DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg>

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

Type Parameters

ControlFlow extends ControlFlowInformation = ControlFlowInformation
Dfg extends DataflowGraph = DataflowGraph

Hierarchy (View Summary)

BasicCfgGuidedVisitorConfiguration<ControlFlow>
- DataflowCfgGuidedVisitorConfiguration
  - SemanticCfgGuidedVisitorConfiguration

Hierarchy-Diagram

UML class diagram of DataflowCfgGuidedVisitorConfiguration

Index

Properties

controlFlow defaultVisitingOrder defaultVisitingType? dfg

Properties

`Readonly`controlFlow

controlFlow: ControlFlow

`Readonly`defaultVisitingOrder

defaultVisitingOrder: "backward" | "forward"

`Optional` `Readonly`defaultVisitingType

defaultVisitingType?: "exit" | "entry"

`Readonly`dfg

dfg: Dfg