---

CHECKCAST.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.classfile.Constant;
import de.fub.bytecode.classfile.ConstantPool;
import de.fub.bytecode.generic.ConstantPoolGen;
import de.fub.bytecode.generic.InstructionHandle;
import gov.nasa.arc.ase.util.Debug;

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

  public InstructionHandle execute(SystemState ss, KernelState ks, ThreadInfo th) {
    ConstantPoolGen cpg = th.getCPG();
    ConstantPool cp = cpg.getConstantPool();
    Constant constant = cp.getConstant(peer.getIndex());
    String classname =  cp.constantToString(constant);

// ifdef MARK_N_SWEEP
    int objref = th.peek();

    if (objref != -1 && !ks.dynamic_area.instanceOfClass(objref, classname)) {
      th.pop();
      return th.createAndThrowException("java.lang.ClassCastException", ss, ks, th);
    }
//#else MARK_N_SWEEP








//#endif MARK_N_SWEEP

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

---