Class ReachabilityGraph_Concrete_Creator

java.lang.Object
  |
  +--ReachabilityGraph_Creator
        |
        +--ReachabilityGraph_Concrete_Creator

public class ReachabilityGraph_Concrete_Creator
extends ReachabilityGraph_Creator

This class models the reachability graph of a program. The reachability graph is a directed graph that contains all the states of the fault-span of a program. This class is the root of the abstract class hierarchy in the Bridge design pattern.

Since:
 

Constructor Summary
ReachabilityGraph_Concrete_Creator()
          Creates new ReachabilityGraph_Concrete_Creator
 
Method Summary
 AbstractReachabilityGraph factoryMethod(int i, java.util.LinkedList list)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ReachabilityGraph_Concrete_Creator

public ReachabilityGraph_Concrete_Creator()
Creates new ReachabilityGraph_Concrete_Creator
Method Detail

factoryMethod

public AbstractReachabilityGraph factoryMethod(int i,
                                               java.util.LinkedList list)
Overrides:
factoryMethod in class ReachabilityGraph_Creator