|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 . |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |