SPeCS Packages Documentation
    Preparing search index...

    Class ControlFlowGraph

    Hierarchy (View Summary)

    Index

    Constructors

    constructor

    Properties

    graph

    Accessors

    endNode startNode

    Methods

    getNode toDot build

    Constructors

    Properties

    graph: Core

    A Cytoscape graph

    Accessors

    Methods

    • Parameters

      Returns string

    • Builds the control flow graph

      Parameters

      • $jp: Statement
      • deterministicIds: boolean = false

        If true, uses deterministic ids for the graph ids (e.g. id_0, id_1...). Otherwise, uses $jp.astId whenever possible

      • options: {
            keepTemporaryScopeStmts: boolean;
            removeGotoNodes: boolean;
            removeLabelNodes: boolean;
            splitInstList: boolean;
        } = ...

        An object containing configuration options for the cfg

        • keepTemporaryScopeStmts: boolean

          If true, the temporary scope statements will be kept in the resulting graph

        • removeGotoNodes: boolean

          If true, the nodes that correspond to goto statements will be excluded from the resulting graph

        • removeLabelNodes: boolean

          If true, the nodes that correspond to label statements will be excluded from the resulting graph

        • splitInstList: boolean

          If true, statements of each instruction list must be split

      Returns ControlFlowGraph

      A new instance of the ControlFlowGraph class

    Settings

    Member Visibility

    On This Page

    Constructors
    Properties
    Accessors
    Methods