---

RETURN.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 RETURN extends AbstractInstruction {
  private de.fub.bytecode.generic.RETURN peer;

  public InstructionHandle execute(SystemState ss, KernelState ks, ThreadInfo th) {
    MethodInfo mi = th.getCurrentMethod();

// ifdef INITIALIZE


















//#endif INITIALIZE
    
    // from a class construction you don't have to update the program counter
    if (mi.getMethodName().equals("<clinit>")) {
      // 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
    if (mi.getMethodGen().isSynchronized()) {
      if (mi.getMethodGen().isStatic()) {
    ks.static_area.monitorUnlock(mi.getClassInfo().getClassName(), th);
      } else {
    ks.dynamic_area.monitorUnlock(th.getThis(), th);
      }
    }

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

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

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

---