|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use WideningNarrowingAnalysis | |
---|---|
tip.cfg | Provides the basic framework for performing fixed-point analyses of TIP programs. |
tip.cfg.dfa | Provides a collection of data flow analyses for TIP programs. |
Uses of WideningNarrowingAnalysis in tip.cfg |
---|
Methods in tip.cfg that return WideningNarrowingAnalysis | ||
---|---|---|
static
|
WorkList.apply(WideningNarrowingAnalysis<V> wideningNarrowingAnalysis,
ICFGCollection cfgCollection)
Performes the WideningNarrowingAnalysis wideningNarrowingAnalysis on the control flow graph in cfgCollection . |
Methods in tip.cfg with parameters of type WideningNarrowingAnalysis | ||
---|---|---|
static
|
WorkList.apply(WideningNarrowingAnalysis<V> wideningNarrowingAnalysis,
ICFGCollection cfgCollection)
Performes the WideningNarrowingAnalysis wideningNarrowingAnalysis on the control flow graph in cfgCollection . |
Uses of WideningNarrowingAnalysis in tip.cfg.dfa |
---|
Classes in tip.cfg.dfa that implement WideningNarrowingAnalysis | |
---|---|
class |
IntervalAnalysis
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |