tip.cfg
Class WorkList
java.lang.Object
tip.cfg.WorkList
public class WorkList
- extends Object
WorkList
implements the work list algorithm for
FixedPointAnalysis
and WideningNarrowingAnalysis
.
- Author:
- Johnni Winther, jw@brics.dk
WorkList
public WorkList()
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 appliedcfgCollection
- 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 appliedcfgCollection
- the collection of control flow graphs
- Returns:
- the analysis provided by
wideningNarrowingAnalysis