gov.nasa.jpf

Class GenericProperty

java.lang.Object

gov.nasa.jpf.GenericProperty

All Implemented Interfaces:

Property, Printable

Direct Known Subclasses:

NoOutOfMemoryErrorProperty, NotDeadlockedProperty, NoUncaughtExceptionsProperty, PropertyListenerAdapter

public abstract class GenericProperty
extends Object
implements Property

generic abstract base class implementing program properties. This is mostly a convenience construct that implements error printout, so that only the check itself has to be provided <2do> why is this still not an interface ??

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	GenericProperty()

Method Summary

Methods

Modifier and Type	Method and Description
abstract boolean	check(Search search, VM vm) return true if property is NOT violated
String	getErrorMessage()
String	getExplanation()
void	printOn(PrintWriter pw)
void	reset()

Methods inherited from class java.lang.Object

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

Constructor Detail

GenericProperty

protected GenericProperty()

Method Detail

check

public abstract boolean check(Search search,
            VM vm)

Description copied from interface: Property

return true if property is NOT violated

Specified by:

check in interface Property

getErrorMessage

public String getErrorMessage()

Specified by:

getErrorMessage in interface Property

getExplanation

public String getExplanation()

Specified by:

getExplanation in interface Property

reset

public void reset()

Specified by:

reset in interface Property

printOn

public void printOn(PrintWriter pw)

Specified by:

printOn in interface Printable