controlFlowGraph

Type Members

1. final case class ICFGCallNode(context: Context) extends ICFGInvokeNode with Product with Serializable

   

2. final case class ICFGCenterNode(context: Context) extends ICFGVirtualNode with Product with Serializable

   

3. final case class ICFGEntryNode(context: Context) extends ICFGVirtualNode with Product with Serializable

   

4. final case class ICFGExitNode(context: Context) extends ICFGVirtualNode with Product with Serializable

   

5. abstract class ICFGInvokeNode extends ICFGLocNode

   

6. abstract class ICFGLocNode extends ICFGNode

   

7. sealed abstract class ICFGNode extends InterproceduralNode

   

8. final case class ICFGNormalNode(context: Context) extends ICFGLocNode with Product with Serializable

   

9. final case class ICFGReturnNode(context: Context) extends ICFGInvokeNode with Product with Serializable

   

10. abstract class ICFGVirtualNode extends ICFGNode

    

11. class InterproceduralControlFlowGraph[Node <: ICFGNode] extends InterproceduralGraph[Node]