public class JPF_java_lang_StringCoding extends NativePeer
Constructor and Description |
---|
JPF_java_lang_StringCoding() |
Modifier and Type | Method and Description |
---|---|
int |
decode___3BII___3C(MJIEnv env,
int clsObjRef,
int bref,
int off,
int len) |
int |
encode___3CII___3B(MJIEnv env,
int clsObjRef,
int cref,
int off,
int len) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass