tip.cfg
Class WorkList

java.lang.Object
  extended by tip.cfg.WorkList

public class WorkList
extends Object

WorkList implements the work list algorithm for FixedPointAnalysis and WideningNarrowingAnalysis.

Author:
Johnni Winther, jw@brics.dk

Constructor Summary
WorkList()
           
 
Method Summary
static
<V> FixedPointAnalysis<V>
apply(FixedPointAnalysis<V> fixedPointAnalysis, ICFGCollection cfgCollection)
          Performes the FixedPointAnalysis fixedPointAnalysis on the control flow graph in cfgCollection.
static
<V> WideningNarrowingAnalysis<V>
apply(WideningNarrowingAnalysis<V> wideningNarrowingAnalysis, ICFGCollection cfgCollection)
          Performes the WideningNarrowingAnalysis wideningNarrowingAnalysis on the control flow graph in cfgCollection.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WorkList

public WorkList()
Method Detail

apply

public static <V> FixedPointAnalysis<V> apply(FixedPointAnalysis<V> fixedPointAnalysis,
                                              ICFGCollection cfgCollection)
Performes the FixedPointAnalysis fixedPointAnalysis on the control flow graph in cfgCollection.

Parameters:
fixedPointAnalysis - the analysis applied
cfgCollection - the collection of control flow graphs
Returns:
the analysis provided by fixedPointAnalysis

apply

public static <V> WideningNarrowingAnalysis<V> apply(WideningNarrowingAnalysis<V> wideningNarrowingAnalysis,
                                                     ICFGCollection cfgCollection)
Performes the WideningNarrowingAnalysis wideningNarrowingAnalysis on the control flow graph in cfgCollection.

Parameters:
wideningNarrowingAnalysis - the analysis applied
cfgCollection - the collection of control flow graphs
Returns:
the analysis provided by wideningNarrowingAnalysis