Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES

Package de.rwth.dfa

The core of this package is the class DataFlowSolver, which contains an implementation of the classical iterative algorithm for intra-procedural data-flow analysis.

See:
          Description

Interface Summary
Worklist This interface describes the requirements for work list implementations used the the DataFlowSolver.
 

Class Summary
DataFlowSolver Implements the text-book graph based data flow analysis algorithm.
StackWorklist A work list implementation using stacks.
 

Package de.rwth.dfa Description

The core of this package is the class DataFlowSolver, which contains an implementation of the classical iterative algorithm for intra-procedural data-flow analysis.

Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES