c

tip.cfg

CfgCallNode

case class CfgCallNode(id: Int = CfgNode.uid, pred: Set[CfgNode] = mutable.Set[CfgNode](), succ: Set[CfgNode] = mutable.Set[CfgNode](), data: AAssignStmt) extends CfgNode with Product with Serializable

Node in a CFG representing a function call. The data field holds the assignment statement where the right-hand-side is the function call.

Linear Supertypes
Serializable, Serializable, Product, Equals, CfgNode, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CfgCallNode
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. CfgNode
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new CfgCallNode(id: Int = CfgNode.uid, pred: Set[CfgNode] = mutable.Set[CfgNode](), succ: Set[CfgNode] = mutable.Set[CfgNode](), data: AAssignStmt)

Value Members

  1. val data: AAssignStmt

    The AST node contained by this node.

    The AST node contained by this node.

    Definition Classes
    CfgCallNode → CfgNode
  2. def equals(obj: Any): Boolean
    Definition Classes
    CfgNode → AnyRef → Any
  3. def hashCode(): Int
    Definition Classes
    CfgNode → AnyRef → Any
  4. val id: Int

    Unique node ID.

    Unique node ID.

    Definition Classes
    CfgCallNode → CfgNode
  5. val pred: Set[CfgNode]

    Predecessors of the node.

    Predecessors of the node.

    Definition Classes
    CfgCallNode → CfgNode
  6. val succ: Set[CfgNode]

    Successors of the node.

    Successors of the node.

    Definition Classes
    CfgCallNode → CfgNode
  7. def toString(): String
    Definition Classes
    CfgCallNode → AnyRef → Any