: Class ReachabilityGraph

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

Class ReachabilityGraph_Creator

java.lang.Object
  |
  +--ReachabilityGraph_Creator

Direct Known Subclasses:: ReachabilityGraph_Concrete_Creator

public abstract class ReachabilityGraph_Creator
extends java.lang.Object

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_Creator()` Creates new ReachabilityGraph_Creator

Method Summary
`abstract 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_Creator

public ReachabilityGraph_Creator()

Creates new ReachabilityGraph_Creator

Method Detail

factoryMethod

public abstract AbstractReachabilityGraph factoryMethod(int i,
                                                        java.util.LinkedList list)