Type Members

1.  case class CfgAfterCallNode(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 having returned from a function call.

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

2.  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.

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

3.  case class CfgFunEntryNode(id: Int = CfgNode.uid, pred: Set[CfgNode] = mutable.Set[CfgNode](), succ: Set[CfgNode] = mutable.Set[CfgNode](), data: AFunDeclaration) extends CfgNode with Product with Serializable

   Node in a CFG representing the entry of a function.

4.  case class CfgFunExitNode(id: Int = CfgNode.uid, pred: Set[CfgNode] = mutable.Set[CfgNode](), succ: Set[CfgNode] = mutable.Set[CfgNode](), data: AFunDeclaration) extends CfgNode with Product with Serializable

   Node in a CFG representing the exit of a function.

5.  trait CfgNode extends AnyRef

   Node in a control-flow graph.

6.  case class CfgStmtNode(id: Int = CfgNode.uid, pred: Set[CfgNode] = mutable.Set[CfgNode](), succ: Set[CfgNode] = mutable.Set[CfgNode](), data: AstNode) extends CfgNode with Product with Serializable

   Node in a CFG representing a program statement.

   Node in a CFG representing a program statement. The data field holds the statement, or in case of if/while instructions, the branch condition.

7.  class FragmentCfg extends AnyRef

   Fragment of a control-flow graph.

   Fragment of a control-flow graph. Describes a fragment of a TIP program, for example one or more statements or function bodies.

   See also

   tip.cfg.InterproceduralProgramCfg, tip.cfg.IntraproceduralProgramCfg

8.  class InterproceduralProgramCfg extends ProgramCfg

   Interprocedural control-flow graph for a program, where function calls are represented using call/after-call nodes.

   Interprocedural control-flow graph for a program, where function calls are represented using call/after-call nodes. Requires the program to be normalized using tip.ast.NormalizedCalls, i.e. all calls are of the form x = f(..).

9.  class IntraproceduralProgramCfg extends ProgramCfg

   Control-flow graph for a program, where function calls are represented as expressions, without using call/after-call nodes.

10.  abstract class ProgramCfg extends FragmentCfg

    Control-flow graph for an entire program.