gov.nasa.jpf

Class GenericProperty

java.lang.Object

gov.nasa.jpf.GenericProperty

All Implemented Interfaces:

Property, Printable, java.lang.Cloneable

Direct Known Subclasses:

NoOutOfMemoryErrorProperty, NotDeadlockedProperty, NoUncaughtExceptionsProperty, PropertyListenerAdapter

public abstract class GenericProperty
extends java.lang.Object
implements Property, java.lang.Cloneable

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

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

Methods inherited from class java.lang.Object

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

clone

public Property clone()
               throws java.lang.CloneNotSupportedException

Specified by:

clone in interface Property

Overrides:

clone in class java.lang.Object

Throws:

java.lang.CloneNotSupportedException

getErrorMessage

public java.lang.String getErrorMessage()

Specified by:

getErrorMessage in interface Property

getExplanation

public java.lang.String getExplanation()

Specified by:

getExplanation in interface Property

reset

public void reset()

Specified by:

reset in interface Property

printOn

public void printOn(java.io.PrintWriter pw)

Specified by:

printOn in interface Printable