scala.tools.nsc.backend.icode

# analysis

#### package analysis

Visibility

1. Public
2. All

### Type Members

1. #### abstract class CopyPropagation extends AnyRef

   A modified copy-propagation like analysis.

2. #### trait DataFlowAnalysis[L <: SemiLattice] extends AnyRef

   A generic framework for data flow analysis.

3. #### abstract class Liveness extends AnyRef

   Compute liveness information for local variables.

4. #### class LubException extends Exception

5. #### trait ProgramPoint[a <: ProgramPoint[a]] extends AnyRef

   Program points are locations in the program where we want to assert certain properties through data flow analysis, e.

6. #### abstract class ReachingDefinitions extends AnyRef

   Compute reaching definitions.

7. #### trait SemiLattice extends AnyRef

   A complete lattice.

8. #### abstract class TypeFlowAnalysis extends AnyRef

   A data-flow analysis on types, that works on `ICode`.

### Ungrouped