public class JPF_java_lang_StringBuilder extends NativePeer
Constructor and Description |
---|
JPF_java_lang_StringBuilder() |
Modifier and Type | Method and Description |
---|---|
int |
append__C__Ljava_lang_StringBuilder_2(MJIEnv env,
int objref,
char c) |
int |
append__D__Ljava_lang_StringBuilder_2(MJIEnv env,
int objref,
double d) |
int |
append__F__Ljava_lang_StringBuilder_2(MJIEnv env,
int objref,
float f) |
int |
append__I__Ljava_lang_StringBuilder_2(MJIEnv env,
int objref,
int i) |
int |
append__J__Ljava_lang_StringBuilder_2(MJIEnv env,
int objref,
long l) |
int |
append__Ljava_lang_String_2__Ljava_lang_StringBuilder_2(MJIEnv env,
int objref,
int sref) |
int |
append__Z__Ljava_lang_StringBuilder_2(MJIEnv env,
int objref,
boolean b) |
int |
toString____Ljava_lang_String_2(MJIEnv env,
int objref) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public int append__Ljava_lang_String_2__Ljava_lang_StringBuilder_2(MJIEnv env, int objref, int sref)
public int append__I__Ljava_lang_StringBuilder_2(MJIEnv env, int objref, int i)
public int append__F__Ljava_lang_StringBuilder_2(MJIEnv env, int objref, float f)
public int append__D__Ljava_lang_StringBuilder_2(MJIEnv env, int objref, double d)
public int append__J__Ljava_lang_StringBuilder_2(MJIEnv env, int objref, long l)
public int append__Z__Ljava_lang_StringBuilder_2(MJIEnv env, int objref, boolean b)
public int append__C__Ljava_lang_StringBuilder_2(MJIEnv env, int objref, char c)
public int toString____Ljava_lang_String_2(MJIEnv env, int objref)