---

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

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

      return exit();
    }

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

    if(name.equals("toHexString(I)Ljava/lang/String;")) {
      return exitReference(
      da.newString(
        Integer.toHexString(
          getIntArgument(0)),
        th));
    }

    if(name.equals("toOctalString(I)Ljava/lang/String;")) {
      return exitReference(
      da.newString(
        Integer.toOctalString(
          getIntArgument(0)),
        th));
    }

    if(name.equals("toBinaryString(I)Ljava/lang/String;")) {
      return exitReference(
      da.newString(
        Integer.toBinaryString(
          getIntArgument(0)),
        th));
    }

    if(name.equals("toString(I)Ljava/lang/String;")) {
      return exitReference(
      da.newString(
        Integer.toString(
          getIntArgument(0)),
        th));
    }

    if(name.equals("parseInt(Ljava/lang/String;I)I")) {
      try {
    return exit(
        Integer.parseInt(
          getStringArgument(0),
          getIntArgument(1)));
      } catch(NumberFormatException e) {
    return th.createAndThrowException("java.lang.NumberFormatException");
      }
    }

    if(name.equals("parseInt(Ljava/lang/String;)I")) {
      try {
    return exit(
        Integer.parseInt(
          getStringArgument(0)));
      } catch(NumberFormatException e) {
    return th.createAndThrowException("java.lang.NumberFormatException");
      }
    }

    return super.executeStaticMethod(mi);
  }  
}

---