---

ARETURN.java

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

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

public class ARETURN extends AbstractInstruction {
    private de.fub.bytecode.generic.ARETURN peer;
       
  public InstructionHandle execute(SystemState ss, KernelState ks, ThreadInfo th) {
    MethodInfo mi = th.getCurrentMethod();

    if (mi.getMethodGen().isSynchronized()) {
      if (mi.getMethodGen().isStatic()) {
    String className = mi.getClassInfo().getClassData().getClassName();
    ks.static_area.monitorUnlock(className, th);
      } else {
    ks.dynamic_area.monitorUnlock(th.getThis(), th);
      }
    }
    // little explaination:
    // a reference is removed from the stack and then is pushed back into
    // the upper level stack. so we can remove the return value without
    // updating the reference count and then pop it back on the caller
    // stack frame without incrementing the reference counter
    int value = th.xpop();    // pops the return value.

    th.popFrame();            // removes a frame from the stack
    th.removeArguments(mi);
    th.push(value);   // pushes the return value in the

//          NOT NEEDED
////#ifdef MARK_N_SWEEP || REFERENCE_COUNT
//    th.setOperandRef();             // caller's stack frame
////#endif MARK_N_SWEEP || REFERENCE_COUNT

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

---