---

JavaLangDoubleReflection.java

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

import gov.nasa.arc.ase.jpf.jvm.*;
import gov.nasa.arc.ase.jpf.jvm.bytecode.Instruction;

public class JavaLangDoubleReflection extends Reflection {
  public Instruction executeStaticMethod(MethodInfo mi) {
    String name = mi.getFullName();

    if(name.equals("<clinit>()V")) {
      return exit();
    }

    if(name.equals("toString(D)Ljava/lang/String;")) {
      return exitReference(
      da.newString(
        java.lang.Double.toString(
          getDoubleArgument(0)),
        th));
    }

    return super.executeStaticMethod(mi);
  }  
}

---