gov.nasa.jpf.vm

Class JPF_java_lang_reflect_Proxy

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_lang_reflect_Proxy

All Implemented Interfaces:

Cloneable

public class JPF_java_lang_reflect_Proxy
extends NativePeer

Constructor Summary

Constructors

Constructor and Description
JPF_java_lang_reflect_Proxy()

Method Summary

Methods

Modifier and Type	Method and Description
int	defineClass0(MJIEnv env, int clsObjRef, int classLoaderRef, int nameRef, int bufferRef, int offset, int length)

Methods inherited from class gov.nasa.jpf.vm.NativePeer

getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JPF_java_lang_reflect_Proxy

public JPF_java_lang_reflect_Proxy()

Method Detail

defineClass0

public int defineClass0(MJIEnv env,
               int clsObjRef,
               int classLoaderRef,
               int nameRef,
               int bufferRef,
               int offset,
               int length)