本文整理汇总了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 );
}