本文整理匯總了Java中gov.nasa.jpf.vm.NotDeadlockedProperty類的典型用法代碼示例。如果您正苦於以下問題：Java NotDeadlockedProperty類的具體用法？Java NotDeadlockedProperty怎麽用？Java NotDeadlockedProperty使用的例子？那麽, 這裏精選的類代碼示例或許可以為您提供幫助。
NotDeadlockedProperty類屬於gov.nasa.jpf.vm包，在下文中一共展示了NotDeadlockedProperty類的4個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的Java代碼示例。
示例1: getError
import gov.nasa.jpf.vm.NotDeadlockedProperty; //導入依賴的package包/類
protected String getError (Search search){
String e;
Error error = search.getLastError();
Property prop = error.getProperty();
if (prop instanceof NoUncaughtExceptionsProperty){
ExceptionInfo xi = ((NoUncaughtExceptionsProperty)prop).getUncaughtExceptionInfo();
return Misc.stripToLastDot(xi.getExceptionClassname());
} else if (prop instanceof NotDeadlockedProperty){
return "deadlock";
}
// fallback
return Misc.stripToLastDot(prop.getClass().getName());
}
示例2: mpVerifyDeadlock
import gov.nasa.jpf.vm.NotDeadlockedProperty; //導入依賴的package包/類
protected boolean mpVerifyDeadlock (int prcNum, String... args){
if (runDirectly) {
return true;
} else {
numOfPrc = prcNum;
propertyViolation( getCaller(), NotDeadlockedProperty.class, args);
return false;
}
}
示例3: verifyDeadlock
import gov.nasa.jpf.vm.NotDeadlockedProperty; //導入依賴的package包/類
protected boolean verifyDeadlock (String... args){
if (runDirectly) {
return true;
} else {
propertyViolation( getCaller(), NotDeadlockedProperty.class, args);
return false;
}
}
示例4: deadlock
import gov.nasa.jpf.vm.NotDeadlockedProperty; //導入依賴的package包/類
/**
* run JPF expecting a deadlock in the SuT
* @param args JPF main() arguments
*/
protected JPF deadlock (String... args) {
return propertyViolation( getCaller(), NotDeadlockedProperty.class, args );
}