Class FaultTransition

java.lang.Object
  |
  +--Transition
        |
        +--FaultTransition

public class FaultTransition

extends Transition

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:

Method Summary

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

Methods inherited from class Transition

getDestination, getSource, toString

Methods inherited from class java.lang.Object

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

Method Detail

print

public void print()

Overrides:

print in class Transition

print

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

Overrides:

print in class Transition

print

public void print(java.lang.String s)

Overrides:

print in class Transition