class IntraproceduralProgramCfg extends ProgramCfg

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

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

Instance Constructors

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

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]
    Definition Classes
    ProgramCfg
  9. val funExits: Map[AFunDeclaration, CfgFunExitNode]
    Definition Classes
    ProgramCfg
  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
    Definition Classes
    ProgramCfg
  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 ProgramCfg

Inherited from FragmentCfg

Inherited from AnyRef

Inherited from Any

Ungrouped