Class CfgNodeData<T>

constructor

• new CfgNodeData<T extends Statement = Statement>(
      cfgNodeType: CfgNodeType,
      $stmt?: T,
      id?: string | undefined,
  ): CfgNodeData<T>

  Creates a new instance of the CfgNodeData class

  Type Parameters

  • T extends Statement = Statement

  Parameters

  • cfgNodeType: CfgNodeType

    Node type

  • Optional$stmt: T

    Statement that originated this CFG node

  • id: string | undefined = $stmt.astId

    Identification of the CFG node

  Returns CfgNodeData<T>

nodeStmt

name

• get name(): string

  Returns string

  The CFG node name

stmts

• get stmts(): T[]

  Returns T[]

  The statements associated with this CFG node.

type

• get type(): CfgNodeType

  Returns CfgNodeType

  The CFG node type

isBranch

• isBranch(): boolean

  Returns boolean

  True if this is a branch node, false otherwise. If this is a branch node, contains two edges, true and false. If not, contains only one uncoditional edge (expect if it is the end node, which contains no edges).

toString

• toString(): string

  Returns string

  String representation of the CFG node