Uses of Interface
tip.cfg.ICFG

Packages that use ICFG
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.util Provides utility classes for the TIP compiler. 
 

Uses of ICFG in tip.cfg
 

Classes in tip.cfg that implement ICFG
 class CCFG
          CCFG is the standard implementation of ICFG.
 

Methods in tip.cfg that return ICFG
 ICFG ICFG.clone()
          Returns a deep clone of the ICFG with respect to program points, i.e. program points are cloned but the associated AST nodes are not.
 ICFG ICFGCollection.getCFG(String name)
          Returns the control flow graph in this collection with the given name.
 ICFG CCFGCollection.getCFG(String name)
          Returns the control flow graph in this collection with the given name.
 

Methods in tip.cfg that return types with arguments of type ICFG
 Collection<ICFG> ICFGCollection.getCFGs()
          Returns the collection of control flow graphs in this collection.
 Collection<ICFG> CCFGCollection.getCFGs()
          Returns the collection of control flow graphs in this collection.
 Iterator<ICFG> CCFGCollection.iterator()
          Returns an iterator for the contained control flow graphs
 

Methods in tip.cfg with parameters of type ICFG
 void CCFGCollection.addCFG(ICFG cfg)
          Adds a control flow graph to this collection.
 void FlowAnalysis.end(ICFG cfg)
          end is called after the fixed point analysis of the control flow graph cfg has ended.
 void FixedPointAnalysis.end(ICFG cfg)
          end is called after the fixed point analysis of the control flow graph cfg has ended.
 void ICFG.prefixCFG(ICFG cfg)
          Prefixes cfg in this control flow graph.
 void CCFG.prefixCFG(ICFG cfg)
          Prefixes cfg in this control flow graph.
 void ICFG.replaceByCFG(IProgramPoint point, ICFG cfg)
          Replaces point with cfg in this control flow graph.
 void CCFG.replaceByCFG(IProgramPoint point, ICFG cfg)
          Replaces point with cfg in this control flow graph.
 void FlowAnalysis.start(ICFG cfg)
          start is called before the fixed point analysis of the control flow graph cfg is started.
 void FixedPointAnalysis.start(ICFG cfg)
          start is called before the fixed point analysis of the control flow graph cfg is started.
 void ICFG.suffixCFG(ICFG cfg)
          Suffixes cfg in this control flow graph.
 void CCFG.suffixCFG(ICFG cfg)
          Suffixes cfg in this control flow graph.
 

Constructor parameters in tip.cfg with type arguments of type ICFG
CCFG(String name, Set<ICFG> cfgSet)
          Creates a new control flow graph from the set of control flow graphs.
 

Uses of ICFG in tip.cfg.dfa
 

Methods in tip.cfg.dfa with parameters of type ICFG
 MapLattice<ALocalDecl,NullPointerAnalysis.Null> NullPointerAnalysis.createLattice(ICFG cfg)
           
 

Uses of ICFG in tip.util
 

Methods in tip.util with parameters of type ICFG
static Collection<PDecl> DeclCollector.collectDecls(ICFG cfg)
          Collects all PDecl nodes referred to in the subtrees of nodes associated with the program points in the control flow graph cfg.
static Collection<ALocalDecl> LocalDeclCollector.collectLocalDecls(ICFG cfg)
          Collects all ALocalDecl nodes referred to in the subtrees of nodes associated with the program points in the control flow graph cfg.