// Threads_lock NOT held, java_thread not protected by lock
// java_thread - pre-checked
// java_thread - unchecked
// depth - pre-checked as non-negative

jvmtiError
JvmtiEnv::SetLocalDouble(JavaThread* java_thread, jint depth, jint slot, jdouble value) {

  {- -------------------------------------------
  (1) (変数宣言など)
      ---------------------------------------- -}

      // rm object is created to clean up the javaVFrame created in
      // doit_prologue(), but after doit() is finished with it.
      ResourceMark rm;
      jvalue val;

  {- -------------------------------------------
  (1) VM_GetOrSetLocal を呼び出して, 指定された局所変数の値を変更する.
      ---------------------------------------- -}

      val.d = value;
      VM_GetOrSetLocal op(java_thread, depth, slot, T_DOUBLE, val);
      VMThread::execute(&op);
      return op.result();
    } /* end SetLocalDouble */