tip.cfg
Class CCFGCollection

java.lang.Object
  extended by tip.cfg.CCFGCollection
All Implemented Interfaces:
Iterable<ICFG>, ICFGCollection

public class CCFGCollection
extends Object
implements ICFGCollection

CCFGCollection is the standard implementation of ICFGCollection used by CFGBuilder.

Author:
Johnni Winther, jw@brics.dk

Constructor Summary
CCFGCollection()
           
 
Method Summary
 void addCFG(ICFG cfg)
          Adds a control flow graph to this collection.
 ICFG getCFG(String name)
          Returns the control flow graph in this collection with the given name.
 Collection<ICFG> getCFGs()
          Returns the collection of control flow graphs in this collection.
 Iterator<ICFG> iterator()
          Returns an iterator for the contained control flow graphs
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CCFGCollection

public CCFGCollection()
Method Detail

addCFG

public void addCFG(ICFG cfg)
Adds a control flow graph to this collection.

Parameters:
cfg - the control flow graph added to this collection

getCFGs

public Collection<ICFG> getCFGs()
Returns the collection of control flow graphs in this collection.

Specified by:
getCFGs in interface ICFGCollection
Returns:
the collection of control flow graphs in this collection

iterator

public Iterator<ICFG> iterator()
Returns an iterator for the contained control flow graphs

Specified by:
iterator in interface Iterable<ICFG>
Returns:
an iterator for the contained control flow graphs

getCFG

public ICFG getCFG(String name)
Returns the control flow graph in this collection with the given name.

Specified by:
getCFG in interface ICFGCollection
Parameters:
name - the name of the control flow graph
Returns:
the control flow graph in this collection with the given name