Class AbstractTransition

java.lang.Object
  |
  +--AbstractTransition

public abstract class AbstractTransition

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

AbstractTransition()

Method Summary

State	getDestination()
State	getSource()
abstract void	print()
abstract void	print(java.lang.String i)
abstract void	print(java.lang.String processIndex, java.lang.String actionName, java.lang.String[] list, java.util.Vector vList)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractTransition

public AbstractTransition()

Method Detail

print

public abstract void print()

print

public abstract void print(java.lang.String i)

print

public abstract void print(java.lang.String processIndex,
                           java.lang.String actionName,
                           java.lang.String[] list,
                           java.util.Vector vList)

getSource

public State getSource()

getDestination

public State getDestination()