gov.nasa.jpf.vm

Class NotDeadlockedProperty

java.lang.Object

gov.nasa.jpf.GenericProperty

gov.nasa.jpf.vm.NotDeadlockedProperty

All Implemented Interfaces:

Property, Printable, java.lang.Cloneable

public class NotDeadlockedProperty
extends GenericProperty

property class to check for no-runnable-threads conditions

Constructor Summary

Constructors

Constructor and Description
NotDeadlockedProperty(Config conf, Search search)

Method Summary

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

Methods inherited from class gov.nasa.jpf.GenericProperty

clone, getExplanation, printOn

Methods inherited from class java.lang.Object

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

Constructor Detail

NotDeadlockedProperty

public NotDeadlockedProperty(Config conf,
                             Search search)

Method Detail

getErrorMessage

public java.lang.String getErrorMessage()

Specified by:

getErrorMessage in interface Property

Overrides:

getErrorMessage in class GenericProperty

check

public boolean check(Search search,
                     VM vm)

Description copied from interface: Property

return true if property is NOT violated

Specified by:

check in interface Property

Specified by:

check in class GenericProperty

reset

public void reset()

Specified by:

reset in interface Property

Overrides:

reset in class GenericProperty