Class controlFlowGraph

Hierarchy (view full)

Constructors

constructor

Properties

graph

Accessors

endNode startNode

Methods

getNode toDot build

Constructors

constructor

Properties

graph

graph: Core

A Cytoscape graph

Accessors

endNode

startNode

Methods

getNode

toDot

  • toDot(dotFormatter): string

  • Parameters

    Returns string

Staticbuild

  • build($jp, deterministicIds?, options?): controlFlowGraph

  • 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