本文整理汇总了Java中gov.nasa.jpf.search.Search.isErrorState方法的典型用法代码示例。如果您正苦于以下问题：Java Search.isErrorState方法的具体用法？Java Search.isErrorState怎么用？Java Search.isErrorState使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.search.Search的用法示例。
在下文中一共展示了Search.isErrorState方法的4个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search){
int id = search.getStateId();
long edgeId = ((long)lastId << 32) | id;
if (id <0 || seenEdges.contains(edgeId)){
return; // skip the root state and property violations (reported separately)
}
if (search.isErrorState()) {
String eid = "e" + search.getNumberOfErrors();
printTransition(getStateId(lastId), eid, getLastChoice(), getError(search));
printErrorState(eid);
lastErrorId = eid;
} else if (search.isNewState()) {
if (search.isEndState()) {
printTransition(getStateId(lastId), getStateId(id), getLastChoice(), "return");
printEndState(getStateId(id));
} else {
printTransition(getStateId(lastId), getStateId(id), getLastChoice(), getNextCG());
}
} else { // already visited state
printTransition(getStateId(lastId), getStateId(id), getLastChoice(), null);
}
seenEdges.add(edgeId);
lastId = id;
}
示例2: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search){
int id = search.getStateId();
long edgeId = ((long)lastId << 32) | id;
String prcId = "P"+Integer.toString(search.getVM().getCurrentApplicationContext().getId());
if (id <0 || seenEdges.contains(edgeId)){
return; // skip the root state and property violations (reported separately)
}
String lastInst = getNextCG();
String choice = prcId+"."+getLastChoice();
if (search.isErrorState()) {
String eid = "e" + search.getNumberOfErrors();
printTransition(getStateId(lastId), eid, choice, getError(search));
printErrorState(eid);
lastErrorId = eid;
} else if (search.isNewState()) {
if (search.isEndState()) {
printTransition(getStateId(lastId), getStateId(id), choice, lastInst);
printEndState(getStateId(id));
} else {
printTransition(getStateId(lastId), getStateId(id), choice, lastInst);
printMultiProcessState(getStateId(id));
}
} else { // already visited state
printTransition(getStateId(lastId), getStateId(id), choice, lastInst);
}
seenEdges.add(edgeId);
lastId = id;
}
示例3: searchConstraintHit
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void searchConstraintHit(Search search) {
if(!search.isEndState() && !search.isErrorState()) {
checkExecutionPath(search.getVM());
}
}
示例4: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search){
int id = search.getStateId();
int ver = PredicateAbstraction.getInstance().stateVer.get(id);
stack.push(new Pair<Integer, Integer>(id, ver));
if (stack.size() > contours.size()) {
contours.add(new TreeSet<Pair<Integer, Integer>>());
}
contours.get(stack.size() - 1).add(new Pair<Integer, Integer>(id, ver));
long edgeId = ((long)lastId << 32) | id;
/*
if (id <0 || seenEdges.contains(edgeId)){
return; // skip the root state and property violations (reported separately)
}
*/
if (search.isErrorState()) {
String eid = "e" + search.getNumberOfErrors();
printTransition(getStateId(lastId, lastVer), eid, getLastChoice(), getError(search));
printErrorState(eid);
lastErrorId = eid;
} else if (search.isNewState()) {
if (search.isEndState()) {
printTransition(getStateId(lastId, lastVer), getStateId(id, ver), getLastChoice(), "return");
printEndState(getStateId(id, ver));
} else {
printTransition(getStateId(lastId, lastVer), getStateId(id, ver), getLastChoice(), getNextCG());
}
} else { // already visited state
printTransition(getStateId(lastId, lastVer), getStateId(id, ver), getLastChoice(), null);
}
ChoiceGenerator<?> cg = vm.getChoiceGenerator();
if (cg instanceof DynamicIntChoiceGenerator) {
DynamicIntChoiceGenerator d = (DynamicIntChoiceGenerator) cg;
int introId = d.getIntroductionStateId();
int introVer = d.getIntroductionStateVer();
if (introId > 0) {
printUnknownDependency(getStateId(introId, introVer), getStateId(id, ver));
}
}
seenEdges.add(edgeId);
lastId = id;
lastVer = ver;
}