Class ProgramTransition

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

public class ProgramTransition

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

ProgramStatement	getGeneratingProgramStatement()
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)
void	setGeneratingProgramStatement(ProgramStatement ps)
java.lang.String	toString()

Methods inherited from class Transition

getDestination, getSource

Methods inherited from class java.lang.Object

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

Method Detail

print

public void print(java.lang.String s)

Overrides:

print in class Transition

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

toString

public java.lang.String toString()

Overrides:

toString in class Transition

getGeneratingProgramStatement

public ProgramStatement getGeneratingProgramStatement()

setGeneratingProgramStatement

public void setGeneratingProgramStatement(ProgramStatement ps)