| java.lang.Object gov.nasa.jpf.jvm.JPF_java_lang_Integer
JPF_java_lang_Integer | public class JPF_java_lang_Integer (Code) | | MJI NativePeer class for java.lang.Integer library abstraction
|
Method Summary | |
public static int | parseInt__Ljava_lang_String_2(MJIEnv env, int clsObjRef, int strRef) | public static int | parseInt__Ljava_lang_String_2I(MJIEnv env, int clsObjRef, int strRef, int radix) | public static int | toBinaryString__I(MJIEnv env, int objref, int val) | public static int | toHexString__I(MJIEnv env, int objref, int val) | public static int | toOctalString__I(MJIEnv env, int objref, int val) | public static int | toString__I(MJIEnv env, int objref, int val) | public static int | toString__II(MJIEnv env, int objref, int val, int radix) |
parseInt__Ljava_lang_String_2 | public static int parseInt__Ljava_lang_String_2(MJIEnv env, int clsObjRef, int strRef)(Code) | | |
parseInt__Ljava_lang_String_2I | public static int parseInt__Ljava_lang_String_2I(MJIEnv env, int clsObjRef, int strRef, int radix)(Code) | | |
toBinaryString__I | public static int toBinaryString__I(MJIEnv env, int objref, int val)(Code) | | |
toHexString__I | public static int toHexString__I(MJIEnv env, int objref, int val)(Code) | | |
toOctalString__I | public static int toOctalString__I(MJIEnv env, int objref, int val)(Code) | | |
toString__I | public static int toString__I(MJIEnv env, int objref, int val)(Code) | | |
toString__II | public static int toString__II(MJIEnv env, int objref, int val, int radix)(Code) | | |
|
|