: Class AbstractInvariant

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

Class AbstractInvariant

java.lang.Object
  |
  +--AbstractInvariant

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

Method Summary
`abstract void`	`print()`
`abstract boolean`	`satisfies(State s)`

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractInvariant

public AbstractInvariant()

Method Detail

satisfies

public abstract boolean satisfies(State s)

print

public abstract void print()