: Class AbstractSafetySpecification

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

Class AbstractSafetySpecification

java.lang.Object
  |
  +--AbstractSafetySpecification

public abstract class AbstractSafetySpecification
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
`AbstractSafetySpecification()`

Method Summary
`abstract void`	`print()`
`abstract boolean`	`violatesSafety(Transition t)`

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractSafetySpecification

public AbstractSafetySpecification()

Method Detail

violatesSafety

public abstract boolean violatesSafety(Transition t)

print

public abstract void print()