Uses of Interface
tip.cfg.FixedPointAnalysis

Packages that use FixedPointAnalysis
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. 
tip.display Provides classes for display ASTs and CFGs of TIP programs. 
 

Uses of FixedPointAnalysis in tip.cfg
 

Subinterfaces of FixedPointAnalysis in tip.cfg
 interface WideningNarrowingAnalysis<VariableType>
          WideningNarrowingAnalysis defines the methods necessary for performing a widening-narrowing analysis using WorkList.
 

Classes in tip.cfg that implement FixedPointAnalysis
 class FlowAnalysis<VariableType>
          FlowAnalysis implements the basic structure for a flow analysis implementing the FixedPointAnalysis interface.
 

Methods in tip.cfg that return FixedPointAnalysis
static
<V> FixedPointAnalysis<V>
WorkList.apply(FixedPointAnalysis<V> fixedPointAnalysis, ICFGCollection cfgCollection)
          Performes the FixedPointAnalysis fixedPointAnalysis on the control flow graph in cfgCollection.
 

Methods in tip.cfg with parameters of type FixedPointAnalysis
static
<V> FixedPointAnalysis<V>
WorkList.apply(FixedPointAnalysis<V> fixedPointAnalysis, ICFGCollection cfgCollection)
          Performes the FixedPointAnalysis fixedPointAnalysis on the control flow graph in cfgCollection.
 

Uses of FixedPointAnalysis in tip.cfg.dfa
 

Classes in tip.cfg.dfa that implement FixedPointAnalysis
 class AvailableExpressionsAnalysis
          AvailableExpressionsAnalysis implements the Available Expressions forwards-must analysis.
 class ConstantPropagationAnalysis
           
 class DivisionAnalysis
           
 class IntervalAnalysis
           
 class LivenessAnalysis
          LivenessAnalysis implements the Liveness backwards-may analysis.
 class NullPointerAnalysis
           
 class ReachingDefinitionsAnalysis
           
 class ShapeAnalysis
          ShapeAnalysis implements the Shape analysis for computing points-to maps.
 class SignAnalysis
           
 class VeryBusyExpressionsAnalysis
           
 

Uses of FixedPointAnalysis in tip.display
 

Method parameters in tip.display with type arguments of type FixedPointAnalysis
static void CFGDisplay.displayCFGs(ICFGCollection cfgList, NodeText<Node> _nodeText, Collection<FixedPointAnalysis<?>> analyses, Collection<PointsToMap> pointsToMaps, int vicinity)