public class NotDeadlockedProperty extends GenericProperty
Constructor and Description |
---|
NotDeadlockedProperty(Config conf,
Search search) |
Modifier and Type | Method and Description |
---|---|
boolean |
check(Search search,
VM vm)
return true if property is NOT violated
|
String |
getErrorMessage() |
void |
reset() |
getExplanation, printOn
public String getErrorMessage()
getErrorMessage
in interface Property
getErrorMessage
in class GenericProperty
public boolean check(Search search, VM vm)
Property
check
in interface Property
check
in class GenericProperty
public void reset()
reset
in interface Property
reset
in class GenericProperty