本文整理汇总了Java中gov.nasa.jpf.JPF.getSearchErrors方法的典型用法代码示例。如果您正苦于以下问题：Java JPF.getSearchErrors方法的具体用法？Java JPF.getSearchErrors怎么用？Java JPF.getSearchErrors使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.JPF的用法示例。
在下文中一共展示了JPF.getSearchErrors方法的2个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: noPropertyViolation
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
/**
* run JPF expecting no SuT property violations
*/
protected JPF noPropertyViolation (StackTraceElement testMethod, String... args) {
JPF jpf = null;
report(args);
try {
jpf = createAndRunJPF( testMethod, args);
} catch (Throwable t) {
// we get as much as one little hickup and we declare it failed
t.printStackTrace();
fail("JPF internal exception executing: ", args, t.toString());
return jpf;
}
List<Error> errors = jpf.getSearchErrors();
if ((errors != null) && (errors.size() > 0)) {
fail("JPF found unexpected errors: " + (errors.get(0)).getDescription());
}
return jpf;
}
示例2: propertyViolation
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
/**
* run JPF expecting a property violation of the SuT
* @param args JPF main() arguments
*/
protected JPF propertyViolation (StackTraceElement testMethod, Class<? extends Property> propertyCls, String... args ){
JPF jpf = null;
report(args);
try {
jpf = createAndRunJPF( testMethod, args);
} catch (Throwable t) {
t.printStackTrace();
fail("JPF internal exception executing: ", args, t.toString());
}
List<Error> errors = jpf.getSearchErrors();
if (errors != null) {
for (Error e : errors) {
if (propertyCls == e.getProperty().getClass()) {
return jpf; // success, we got the sucker
}
}
}
fail("JPF failed to detect error: " + propertyCls.getName());
return jpf;
}