gov.nasa.jpf

Interface Property

All Superinterfaces:

Printable

All Known Implementing Classes:

AssertionProperty, EndlessLoopDetector, ErrorTraceGenerator, GenericProperty, HeapTracker, IdleFilter, NoOutOfMemoryErrorProperty, NoStateCycles, NotDeadlockedProperty, NoUncaughtExceptionsProperty, NumericValueChecker, ObjectTracker, PathOutputMonitor, PreciseRaceDetector, PropertyListenerAdapter

public interface Property
extends Printable

abstraction that is used by Search objects to determine if program properties have been violated (e.g. NoUncaughtExceptions)

Method Summary

Methods

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

Methods inherited from interface gov.nasa.jpf.util.Printable

printOn

Method Detail

check

boolean check(Search search,
            VM vm)

return true if property is NOT violated

getErrorMessage

String getErrorMessage()

getExplanation

String getExplanation()

reset

void reset()