---

RETURN.java

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

import de.fub.bytecode.classfile.ConstantPool;
import gov.nasa.arc.ase.jpf.jvm.SystemState;
import gov.nasa.arc.ase.jpf.jvm.KernelState;
import gov.nasa.arc.ase.jpf.jvm.ThreadInfo;
import gov.nasa.arc.ase.jpf.jvm.ClassInfo;
import gov.nasa.arc.ase.jpf.jvm.MethodInfo;
import gov.nasa.arc.ase.util.Debug;

public class RETURN extends ReturnInstruction {
  public Instruction execute(SystemState ss, KernelState ks, ThreadInfo th) {
    int objref = -1;
    ClassInfo ci = null;
    MethodInfo mi = th.getMethod();

    // return from a constructor
    if (mi.getName().equals("<init>")) {
//#ifdef DEBUG

//#endif DEBUG
      objref = th.getThis();

      ci = ks.da.get(objref).getClassInfo();

      if(mi.getClassInfo() != ci)
    ci = null;
    }
    
    // return from a class constructor
    if (mi.getFullName().equals("<clinit>()V")) {
//#ifdef DEBUG

//#endif DEBUG
      // removes a stack frame
      th.popFrame();
      th.removeArguments(mi);

      // returns to the instruction that caused the class init
      return th.getPC();
    }

    // release lock if method is synchronized
    mi.leave(th);

    // removes a stack frame
    th.popFrame();

    // just in case this is the return from the last stack frame
    if (th.countStackFrames() == 0)
      return null;

    th.removeArguments(mi);

//#ifdef DEBUG


//#endif DEBUG

    return th.getPC().getNext();
  }  
  public void setPeer(de.fub.bytecode.generic.Instruction i, ConstantPool cp) {
  }  
}

---