: Class Program

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

Class Program

java.lang.Object
  |
  +--AbstractProgram
        |
        +--Program

public class Program
extends AbstractProgram

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
`Program(ProgramImplementation1 prg1)` Creates new Program1
`Program(ProgramImplementation2 prg2)` Creates new Program1

Methods inherited from class AbstractProgram

isDeadlocked, 
print, 
producesTransition, 
solveDeadlock, 
solveDeadlockMore

Methods inherited from class java.lang.Object

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

Constructor Detail

Program

public Program(ProgramImplementation1 prg1)

Creates new Program1