---

JavaLangLongReflection.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 JavaLangLongReflection extends Reflection {
  public Instruction executeStaticMethod(MethodInfo mi) {
    String name = mi.getFullName();

    if(name.equals("<clinit>()V")) {
      setLongStaticField("MIN_VALUE", Long.MIN_VALUE);
      setLongStaticField("MAX_VALUE", Long.MAX_VALUE);
      setObjectStaticField("TYPE", null); // temporary

      return exit();
    }

    if(name.equals("toString(JI)Ljava/lang/String;")) {
      return exitReference(
      da.newString(
        Long.toString(
          getLongArgument(0),
          getIntArgument(1)),
        th));
    }

    if(name.equals("toBinaryString(J)Ljava/lang/String;")) {
      return exitReference(
      da.newString(
        Long.toBinaryString(
          getLongArgument(0)),
        th));
    }

    if(name.equals("toOctalString(J)Ljava/lang/String;")) {
      return exitReference(
      da.newString(
        Long.toOctalString(
          getLongArgument(0)),
        th));
    }

    if(name.equals("toHexString(J)Ljava/lang/String;")) {
      return exitReference(
      da.newString(
        Long.toHexString(
          getLongArgument(0)),
        th));
    }

    return super.executeStaticMethod(mi);
  }  
}

---