Package gov.nasa.jpf.jvm.bytecode

Examples of gov.nasa.jpf.jvm.bytecode.Instruction


   * Prints a warning message if the istruction that is being executed is
   * accessing a fields that was generated.
   */
  @Override
  public void executeInstruction(JVM vm) {
    Instruction last = vm.getNextInstruction();
    if(last instanceof FieldInstruction) {
      FieldInfo accessed = ((FieldInstruction) last).getFieldInfo();
      if(isGenerated(accessed))
        logger.warning("The field " + accessed.getFullName() + " is missing from " +
            "the model class.\n\ta default implementation is being used.");
View Full Code Here

TOP

Related Classes of gov.nasa.jpf.jvm.bytecode.Instruction

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.