---

IDIV.java

package gov.nasa.arc.ase.jpf.jvm.bytecode;

import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.jpf.jvm.*;
import de.fub.bytecode.generic.InstructionHandle;
import gov.nasa.arc.ase.util.Debug;

public class IDIV extends AbstractInstruction {
  private de.fub.bytecode.generic.IDIV peer;

  public InstructionHandle execute(SystemState ss, KernelState ks, ThreadInfo th) {
    int v1 = th.pop();
    int v2 = th.pop();

    if (v1 == 0)
      return th.createAndThrowException("java.lang.ArithmeticException", ss, ks, th);

    th.push(v2 / v1);

    return th.getPC().getNext();
  }  
  public void setPeer(de.fub.bytecode.generic.Instruction i) {
    peer = (de.fub.bytecode.generic.IDIV)i;
  }  
}

---