本文整理汇总了Java中gov.nasa.jpf.search.Search.getStateId方法的典型用法代码示例。如果您正苦于以下问题:Java Search.getStateId方法的具体用法?Java Search.getStateId怎么用?Java Search.getStateId使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.search.Search
的用法示例。
在下文中一共展示了Search.getStateId方法的15个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced (Search search){
if (search.isNewState() && (lastOp != null)) {
int stateId = search.getStateId();
for (MethodOp op=lastOp; op != null; op=op.p) {
op.stateId = stateId;
}
lastOp.prevTransition = lastTransition;
lastTransition = lastOp;
}
lastOp = null;
isFirstTransition = false;
}
示例2: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search) {
int id = search.getStateId();
out.print("----------------------------------- [" +
search.getDepth() + "] forward: " + id);
if (search.isNewState()) {
out.print(" new");
} else {
out.print(" visited");
}
if (search.isEndState()) {
out.print(" end");
}
out.println();
lastLine = null; // in case we report by source line
lastMi = null;
linePrefix = null;
}
示例3: stateRestored
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
/******************************************* SearchListener interface *****/
@Override
public void stateRestored(Search search) {
int id = search.getStateId();
out.println("----------------------------------- [" +
search.getDepth() + "] restored: " + id);
}
示例4: stateBacktracked
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateBacktracked(Search search) {
int id = search.getStateId();
lastMi = null;
out.println("----------------------------------- [" +
search.getDepth() + "] backtrack: " + id);
}
示例5: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search)
{
Integer id;
id = search.getStateId();
if (!m_operations.containsKey(id)) // Don't overwrite the original chain of Operations to get to the same state. The original chain is more likely to be shorter.
m_operations.put(id, m_current);
if (s_logger.isLoggable(Level.FINE))
s_logger.fine("State Advanced: " + id);
logState();
}
示例6: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search) {
if (search.isNewState()) {
int id = search.getStateId();
if (id > maxState) maxState = id;
updateMaxPathValues();
pathStats.push(stat);
stat = (PathStat)stat.clone();
nForward++;
}
}
示例7: stateRestored
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateRestored(Search search) {
int id = search.getStateId();
long edgeId = ((long)lastId << 32) | id;
if (!seenEdges.contains(edgeId)) {
printRestored(getStateId(lastId), getStateId(id));
seenEdges.add(edgeId);
}
lastId = id;
}
示例8: stateBacktracked
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateBacktracked (Search search){
int stateId = search.getStateId();
while ((lastTransition != null) && (lastTransition.stateId > stateId)){
lastTransition = lastTransition.prevTransition;
}
lastOp = null;
}
示例9: 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;
}
示例10: stateRestored
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateRestored (Search search) {
int idx = search.getStateId()+1;
T se = states.get(idx);
client.restore(se);
SystemState ss = search.getVM().getSystemState();
ChoiceGenerator<?> cgNext = ss.getNextChoiceGenerator();
cgNext.reset();
}
示例11: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search) {
id = search.getStateId();
depth = search.getDepth();
operation = "forward";
if (search.isNewState()) {
detail = "new";
} else {
detail = "visited";
}
if (search.isEndState()) {
detail += " end";
}
}
示例12: stateBacktracked
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateBacktracked(Search search) {
int id = search.getStateId();
lastLine = null;
lastMi = null;
out.println("----------------------------------- [" +
search.getDepth() + "] backtrack: " + id);
out.println("\t\t time: " + printCurrentTimeDiff());
}
示例13: stateBacktracked
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateBacktracked(Search search) {
id = search.getStateId();
depth = search.getDepth();
operation = "backtrack";
detail = null;
}
示例14: stateAdvanced
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced (Search search) {
int idx = search.getStateId();
if (idx >= 0) { // <??> why would it be notified for the init state?
Memento m = new Memento(this);
states.set(idx, m);
}
}
示例15: stateBacktracked
import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateBacktracked (Search search){
int stateId = search.getStateId();
while ((lastTransition != null) && (lastTransition.stateId > stateId)){
lastTransition = lastTransition.prevTransition;
}
lastElement = null;
}