scala.tools.nsc.backend.icode.analysis

DataFlowAnalysis

trait DataFlowAnalysis [L <: SemiLattice] extends AnyRef

A generic framework for data flow analysis.

Source
DataFlowAnalysis.scala
Linear Supertypes
AnyRef, Any
Known Subclasses
CopyAnalysis, LivenessAnalysis, MethodTFA, ReachingDefinitionsAnalysis
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. DataFlowAnalysis
  2. AnyRef
  3. Any
Visibility
  1. Public
  2. All

Type Members

  1. type P <: ProgramPoint[P]

    A type for program points.

    A type for program points.

    Attributes
    abstract

Abstract Value Members

  1. val lattice : L

    Attributes
    abstract

  2. def run (): Unit

    Attributes
    abstract

Concrete Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any

  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  6. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  7. def backwardAnalysis (f: (P, Elem) ⇒ Elem): Unit

    .

    ...

    f

    ...

  8. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  9. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  10. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  11. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  12. def forwardAnalysis (f: (P, Elem) ⇒ Elem): Unit

    Implements forward dataflow analysis: the transfer function is applied when inputs to a Program point change, to obtain the new output value.

    Implements forward dataflow analysis: the transfer function is applied when inputs to a Program point change, to obtain the new output value.

    f

    the transfer function.

  13. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  14. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  15. val in : Map[P, Elem]

  16. def init (f: ⇒ Unit): Unit

  17. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  18. var iterations : Int

    the number of times we iterated before reaching a fixpoint.

  19. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  20. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  21. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  22. val out : Map[P, Elem]

  23. def reinit (f: ⇒ Unit): Unit

    Reinitialize, but keep the old solutions.

    Reinitialize, but keep the old solutions. Should be used when reanalyzing the same method, after some code transformation.

  24. var stat : Boolean

    collect statistics?

  25. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef

  26. def toString (): String

    Definition Classes
    AnyRef → Any

  27. val visited : HashSet[P]

  28. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  29. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  30. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  31. val worklist : Set[P]

Inherited from AnyRef

Inherited from Any