@eagleoutice/flowr - v2.10.1
    Preparing search index...

    Interface ControlFlowInformation<Vertex>

    Summarizes the control information of a program

    emptyControlFlowInformation - to create an empty control flow information object

    interface ControlFlowInformation<Vertex extends CfgVertex = CfgVertex> {
        breaks: NodeId[];
        entryPoints: NodeId[];
        exitPoints: NodeId[];
        graph: ControlFlowGraph<Vertex>;
        nexts: NodeId[];
        returns: NodeId[];
        [key: string]: unknown;
    }

    Type Parameters

    Hierarchy (View Summary)

    Indexable

    • [key: string]: unknown

    Hierarchy-Diagram

    UML class diagram of ControlFlowInformation
    Index

    Properties

    breaks entryPoints exitPoints graph nexts returns

    Properties

    breaks: NodeId[]

    all active 'break'(-like) unconditional jumps

    entryPoints: NodeId[]

    intended to construct a hammock graph, with 0 exit points representing a block that should not be part of the CFG (like a comment)

    exitPoints: NodeId[]

    See entryPoints

    graph: ControlFlowGraph<Vertex>

    the control flow graph summarizing the flow information

    nexts: NodeId[]

    all active 'next'(-like) unconditional jumps

    returns: NodeId[]

    all active 'return'(-like) unconditional jumps

    Settings

    Member Visibility

    On This Page

    Properties