public class JPF_java_lang_reflect_Proxy extends NativePeer
Constructor and Description |
---|
JPF_java_lang_reflect_Proxy() |
Modifier and Type | Method and Description |
---|---|
int |
defineClass0(MJIEnv env,
int clsObjRef,
int classLoaderRef,
int nameRef,
int bufferRef,
int offset,
int length) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public int defineClass0(MJIEnv env, int clsObjRef, int classLoaderRef, int nameRef, int bufferRef, int offset, int length)