当前位置: 首页>>代码示例>>Java>>正文

Java Search.isEndState方法代码示例

本文整理汇总了Java中gov.nasa.jpf.search.Search.isEndState方法的典型用法代码示例。如果您正苦于以下问题：Java Search.isEndState方法的具体用法？Java Search.isEndState怎么用？Java Search.isEndState使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.search.Search的用法示例。


在下文中一共展示了Search.isEndState方法的13个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。

示例1: 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();

  lastMi = null;
}
开发者ID:grzesuav，项目名称:gjpf-core，代码行数:21，代码来源:MethodTracker.java

示例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;
}
开发者ID:grzesuav，项目名称:gjpf-core，代码行数:23，代码来源:ExecTracker.java

示例3: stateAdvanced

import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search) {
  steps += search.getTransition().getStepCount();
 
  if (isHeuristic)
  	queueSize = ((HeuristicSearch)(search)).getQueueSize();
  
  if (search.isNewState()) {
    searchLevel = search.getDepth();
    if (searchLevel > maxSearchLevel)
    	maxSearchLevel = searchLevel;
    
    newStates++; 
    
    currentHeapCount = search.getVM().getHeap().size();
    
    if (currentHeapCount > maxHeapCount)
      maxHeapCount = currentHeapCount;
    
    if (search.isEndState()) {
      endStates++;
    }
  } else {
    revisitedStates++;
  }
}
开发者ID:grzesuav，项目名称:gjpf-core，代码行数:27，代码来源:SearchStats.java

示例4: stateAdvanced

import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced (Search search){
  long m = Runtime.getRuntime().totalMemory();
  if (m > maxUsed) {
    maxUsed = m;
  }

  if (search.isNewState()){
    newStates++;
    int depth = search.getDepth();
    if (depth > maxDepth){
      maxDepth = depth;
    }
  } else {
    visitedStates++;
  }
  if (search.isEndState()){
    endStates++;
  }
}
开发者ID:grzesuav，项目名称:gjpf-core，代码行数:21，代码来源:Statistics.java

示例5: stateAdvanced

import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search) {
  //TODO: check iserrorstate here as was done originally?
  if(search.isEndState()) {
    checkExecutionPath(search.getVM());
  }
}
开发者ID:isstac，项目名称:spf-wca，代码行数:8，代码来源:PathListener.java

示例6: stateAdvanced

import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search) {
  super.stateAdvanced(search);
  if(search.isEndState()) {
    checkTermination(search);
  }
}
开发者ID:isstac，项目名称:spf-wca，代码行数:8，代码来源:HeuristicListener.java

示例7: 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;
}
开发者ID:grzesuav，项目名称:gjpf-core，代码行数:33，代码来源:SimpleDot.java

示例8: 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;
}
开发者ID:grzesuav，项目名称:gjpf-core，代码行数:37，代码来源:DistributedSimpleDot.java

示例9: 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";
  }
}
开发者ID:grzesuav，项目名称:gjpf-core，代码行数:16，代码来源:StateTracker.java

示例10: stateAdvanced

import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void stateAdvanced(Search search){
  if(search.isEndState()) {
    ThreadInfo currTi = search.getVM().getCurrentThread();
    ThreadInfo finalizerTi = search.getVM().getFinalizerThread();
    
    // make sure a finalizer thread exists
    assertTrue(finalizerTi!=null);
    
    // make sure the thread leading to the end state is finalizer
    assertEquals(currTi, currTi);
  }
}
开发者ID:grzesuav，项目名称:gjpf-core，代码行数:14，代码来源:FinalizerThreadTest.java

示例11: 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 if (search.isIgnoredState()) {
      if (BranchingExecutionHelper.isPruned()) {
          out.print(" pruned branch");
      } else {
          out.print(" ignored (maybe spurious data choice value)");
      }
  } else {
    out.print(" visited");
  }

  if (search.isEndState()) {
    out.print(" end");
  }

  out.println();

  out.println("\t\t time: " + printCurrentTimeDiff());

  lastLine = null; // in case we report by source line
  lastMi = null;
  linePrefix = null;
}
开发者ID:d3sformal，项目名称:panda，代码行数:31，代码来源:ExecTracker.java

示例12: searchConstraintHit

import gov.nasa.jpf.search.Search; //导入方法依赖的package包/类
@Override
public void searchConstraintHit(Search search) {
  if(!search.isEndState() && !search.isErrorState()) {
    checkExecutionPath(search.getVM());
  }
}
开发者ID:isstac，项目名称:spf-wca，代码行数:7，代码来源:PathListener.java

示例13: 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;
}
开发者ID:d3sformal，项目名称:panda，代码行数:57，代码来源:SimpleDot.java


注：本文中的gov.nasa.jpf.search.Search.isEndState方法示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台，相关代码片段筛选自各路编程大神贡献的开源项目，源码版权归原作者所有，传播和使用请参考对应项目的License；未经允许，请勿转载。