本文整理汇总了Java中gov.nasa.jpf.search.Search.terminate方法的典型用法代码示例。如果您正苦于以下问题:Java Search.terminate方法的具体用法?Java Search.terminate怎么用?Java Search.terminate使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.search.Search
的用法示例。
在下文中一共展示了Search.terminate方法的4个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced (Search search) {
if (timeExceeded() || heapExceeded()) {
search.notifySearchConstraintHit(message);
search.terminate();
}
if (search.isNewState()){
if (!vm.isTraceReplay()){
newStates++;
}
if (statesExceeded() || depthExceeded() || newStatesExceeded()){
search.notifySearchConstraintHit(message);
search.terminate();
}
}
}
示例2: checkTermination
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
private void checkTermination(Search search) {
if(terminationStrategy.terminateAnalysis(search, this.statistics)) {
logger.info("Termination strategy [" + terminationStrategy.getClass().getName() + "] " +
"terminated the heuristic search");
search.terminate();
}
}
示例3: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
public void stateAdvanced(Search search) {
long duration = System.currentTimeMillis() - this.startTime;
if (duration >= maxTime) {
duration = duration / 1000;
System.out.println("****TIME BOUNDED SEARCH - TOTAL TIME (SECONDS): " + duration + " ****");
search.terminate();
}
}
示例4: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search) {
if (shouldTerminate(search)) {
search.terminate();
}
}