c

tip.cfg

ProgramCfg

abstract class ProgramCfg extends FragmentCfg

Control-flow graph for an entire program.

Linear Supertypes
FragmentCfg, AnyRef, Any
Known Subclasses
InterproceduralProgramCfg, IntraproceduralProgramCfg
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ProgramCfg
  2. FragmentCfg
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ProgramCfg(prog: AProgram, funEntries: Map[AFunDeclaration, CfgFunEntryNode], funExits: Map[AFunDeclaration, CfgFunExitNode])

    prog

    AST of the program

    funEntries

    map from AST function declarations to CFG function entry nodes

    funExits

    map from AST function declarations to CFG function exit nodes

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. val funEntries: Map[AFunDeclaration, CfgFunEntryNode]
  9. val funExits: Map[AFunDeclaration, CfgFunExitNode]
  10. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  11. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. def isUnit: Boolean

    Returns true if this is the unit CFG w.r.t.

    Returns true if this is the unit CFG w.r.t. to concatenation.

    Definition Classes
    FragmentCfg
  14. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def nodes: Set[CfgNode]

    Returns the set of nodes in the CFG.

    Returns the set of nodes in the CFG.

    Definition Classes
    FragmentCfg
  16. def nodesRec(n: CfgNode, visited: Set[CfgNode] = mutable.Set()): Set[CfgNode]
    Attributes
    protected
    Definition Classes
    FragmentCfg
  17. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  18. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  19. val prog: AProgram
  20. lazy val rank: Map[CfgNode, Int]

    Returns a map associating each node with its rank.

    Returns a map associating each node with its rank. The rank is defined such that rank(x) < rank(y) iff y is visited after x in a depth-first visit of the control-flow graph

    Definition Classes
    FragmentCfg
  21. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  22. def toDot(labeler: (CfgNode) ⇒ String, idGen: (CfgNode) ⇒ String): String

    Returns a Graphviz dot representation of the CFG.

    Returns a Graphviz dot representation of the CFG. Each node is labeled using the given function labeler.

    Definition Classes
    FragmentCfg
  23. def toString(): String
    Definition Classes
    AnyRef → Any
  24. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  26. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. def |(other: FragmentCfg): FragmentCfg

    Returns the union of this CFG with other.

    Returns the union of this CFG with other.

    Definition Classes
    FragmentCfg
  28. def ~(after: FragmentCfg): FragmentCfg

    Returns the concatenation of this CFG with after.

    Returns the concatenation of this CFG with after.

    Definition Classes
    FragmentCfg

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from FragmentCfg

Inherited from AnyRef

Inherited from Any

Ungrouped