Package gov.nasa.jpf.vm.choice

Examples of gov.nasa.jpf.vm.choice.BreakGenerator


  public void instructionExecuted(VM vm, ThreadInfo currentThread, Instruction nextInstruction, Instruction executedInstruction) {
    super.instructionExecuted(vm, currentThread, nextInstruction, executedInstruction);

    if (nextInstruction != null) {
      if (nextInstruction.getAttr() == JointstatesInstructionFactory.writeFlag) {
        vm.setNextChoiceGenerator(new BreakGenerator("jointstates before write state", currentThread, false));
        CommandDelegator.lastFlag = nextInstruction.getAttr();
        logger.warning("jointstates added BreakGeneratorCG before write on level " + vm.getSearch().getDepth());
      } else if (nextInstruction.getAttr() == JointstatesInstructionFactory.readFlag) {
        vm.setNextChoiceGenerator(new BreakGenerator("jointstates before read state", currentThread, false));
        CommandDelegator.lastFlag = nextInstruction.getAttr();
        logger.warning("jointstates added BreakGeneratorCG before read on level " + vm.getSearch().getDepth());
      }
    }
  }
View Full Code Here

TOP

Related Classes of gov.nasa.jpf.vm.choice.BreakGenerator

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.