Java ChoiceGenerator.getPreviousChoiceGeneratorOfType示例

示例#1

文件： AtomBuchiCG.java 项目： evvalvis/jpf

  // Copied from PathCondition...
  protected void setPC(PathCondition pc) {
    JVM vm = JVM.getVM();
    ChoiceGenerator<?> cg = vm.getChoiceGenerator();
    if (cg != null && !(cg instanceof PCChoiceGenerator)) {
      cg = cg.getPreviousChoiceGeneratorOfType(PCChoiceGenerator.class);
    }

    if (cg instanceof PCChoiceGenerator) {
      ((PCChoiceGenerator) cg).setCurrentPC(pc);
      System.err.println("AtomBuchiCG.setPc: " + pc);
      return;
    }
    assert false : "Can not set PC " + pc;
  }