| java.lang.Object gov.nasa.jpf.jvm.JPF_java_lang_Short
JPF_java_lang_Short | public class JPF_java_lang_Short (Code) | | MJI NativePeer class for java.lang.Short library abstraction
|
parseShort__Ljava_lang_String_2 | public static short parseShort__Ljava_lang_String_2(MJIEnv env, int clsObjRef, int strRef)(Code) | | |
parseShort__Ljava_lang_String_2II | public static short parseShort__Ljava_lang_String_2II(MJIEnv env, int clsObjRef, int strRef, int radix)(Code) | | |
toString__S | public static int toString__S(MJIEnv env, int objref, short val)(Code) | | |
|
|