Class Transition

java.lang.Object
  |
  +--Transition

Direct Known Subclasses:

FaultTransition, ProgramTransition

public abstract class Transition

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

Transition()

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)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Transition

public Transition()

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()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object