Uses of Interface
tip.cfg.ICFGCollection

Packages that use ICFGCollection
tip.cfg Provides the basic framework for performing fixed-point analyses of TIP programs. 
tip.cfg.cfa Provides a collection of control flow analyses for 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 ICFGCollection in tip.cfg
 

Classes in tip.cfg that implement ICFGCollection
 class CCFGCollection
          CCFGCollection is the standard implementation of ICFGCollection used by CFGBuilder.
 

Methods in tip.cfg that return ICFGCollection
static ICFGCollection CFGBuilder.createCFGCollection(Node node)
          Creates a collection of control flow graphs based on a traversal starting in node.
static ICFGCollection CFGBuilder.createCFGCollection(Node node, NodeFilter filter)
          Creates a collection of control flow graphs based on a traversal starting in node using filter to decide which program point such appear in the resulting control flow graphs.
 

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

Uses of ICFGCollection in tip.cfg.cfa
 

Methods in tip.cfg.cfa that return ICFGCollection
static ICFGCollection Interprocedural.makeInterprocedural(ICFGCollection oldCollection, int maxCopies)
          Creates a new ICFGCollection containing a single interprocedural control flow graph created from oldCollection.
 

Methods in tip.cfg.cfa with parameters of type ICFGCollection
static ICFGCollection Interprocedural.makeInterprocedural(ICFGCollection oldCollection, int maxCopies)
          Creates a new ICFGCollection containing a single interprocedural control flow graph created from oldCollection.
 

Uses of ICFGCollection in tip.cfg.dfa
 

Methods in tip.cfg.dfa with parameters of type ICFGCollection
 void ReachingDefinitionsAnalysis.showDefUseGraph(ICFGCollection cfgs)
           
 

Uses of ICFGCollection in tip.display
 

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