Interface ScratchData

Scratch data contained in this graph type.

interface ScratchData {
    __clava_flow__clava_flow_graph: {
        jpToNodeMap: Record<string, string[]>;
    };
    __coral__coral_graph: {
        instrumentation: Instrumentation;
        symbolTable: Map<string, FileSymbolTable>;
    };
    edgeIdGenerator: Edge.IdGenerator
    | undefined;
    nodeIdGenerator: Node.IdGenerator | undefined;
}

Hierarchy (View Summary)

ClavaFlowGraph.ScratchData
- ScratchData

Index

Properties

__clava_flow__clava_flow_graph __coral__coral_graph edgeIdGenerator nodeIdGenerator

Properties

__clava_flow__clava_flow_graph

__clava_flow__clava_flow_graph: { jpToNodeMap: Record<string, string[]> }

coralcoral_graph

__coral__coral_graph: {
instrumentation: Instrumentation;
symbolTable: Map<string, FileSymbolTable>;
}

edgeIdGenerator

edgeIdGenerator: Edge.IdGenerator | undefined

The Edge.IdGenerator to be used when generating edge identifiers.

nodeIdGenerator

nodeIdGenerator: Node.IdGenerator | undefined

The Node.IdGenerator to be used when generating node identifiers.