gov.nasa.jpf

Interface Property

All Superinterfaces:

Printable

All Known Implementing Classes:

AssertionProperty, EndlessLoopDetector, ErrorTraceGenerator, GenericProperty, HeapTracker, IdleFilter, NoOutOfMemoryErrorProperty, NoStateCycles, NotDeadlockedProperty, NoUncaughtExceptionsProperty, NumericValueChecker, 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

Modifier and Type	Method and Description
boolean	check(Search search, VM vm) return true if property is NOT violated
Property	clone()
java.lang.String	getErrorMessage()
java.lang.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

java.lang.String getErrorMessage()

getExplanation

java.lang.String getExplanation()

reset

void reset()

clone

Property clone()
        throws java.lang.CloneNotSupportedException

Throws:

java.lang.CloneNotSupportedException