| java.lang.Object gov.nasa.jpf.jvm.JPF_java_lang_StringBuffer
JPF_java_lang_StringBuffer | public class JPF_java_lang_StringBuffer (Code) | | MJI NativePeer class for java.lang.StringBuffer library abstraction
|
Method Summary | |
public static void | $clinit(MJIEnv env, int clsObjRef) | static int | appendString(MJIEnv env, int objref, String s) | public static int | append__B(MJIEnv env, int objref, byte b) | public static int | append__C(MJIEnv env, int objref, char c) | public static int | append__D(MJIEnv env, int objref, double d) | public static int | append__F(MJIEnv env, int objref, float f) | public static int | append__I(MJIEnv env, int objref, int i) | public static int | append__J(MJIEnv env, int objref, long l) | public static int | append__Ljava_lang_StringBuffer_2(MJIEnv env, int objref, int sbref) | public static int | append__Ljava_lang_String_2(MJIEnv env, int objref, int sref) | public static int | append__Z(MJIEnv env, int objref, boolean b) |
hasSharedField | static boolean hasSharedField(Code) | | |
$clinit | public static void $clinit(MJIEnv env, int clsObjRef)(Code) | | |
append__B | public static int append__B(MJIEnv env, int objref, byte b)(Code) | | |
append__C | public static int append__C(MJIEnv env, int objref, char c)(Code) | | |
append__D | public static int append__D(MJIEnv env, int objref, double d)(Code) | | |
append__F | public static int append__F(MJIEnv env, int objref, float f)(Code) | | |
append__I | public static int append__I(MJIEnv env, int objref, int i)(Code) | | |
append__J | public static int append__J(MJIEnv env, int objref, long l)(Code) | | |
append__Ljava_lang_StringBuffer_2 | public static int append__Ljava_lang_StringBuffer_2(MJIEnv env, int objref, int sbref)(Code) | | |
append__Ljava_lang_String_2 | public static int append__Ljava_lang_String_2(MJIEnv env, int objref, int sref)(Code) | | |
append__Z | public static int append__Z(MJIEnv env, int objref, boolean b)(Code) | | |
|
|