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)