gov.nasa.jpf.vm

Class JPF_sun_reflect_Reflection

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_sun_reflect_Reflection

All Implemented Interfaces:

Cloneable

public class JPF_sun_reflect_Reflection
extends NativePeer

Constructor Summary

Constructors

Constructor and Description
JPF_sun_reflect_Reflection()

Method Summary

Methods

Modifier and Type	Method and Description
int	getCallerClass__I__Ljava_lang_Class_2(MJIEnv env, int clsObjRef, int offset)

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_sun_reflect_Reflection

public JPF_sun_reflect_Reflection()

Method Detail

getCallerClass__I__Ljava_lang_Class_2

public int getCallerClass__I__Ljava_lang_Class_2(MJIEnv env,
                                        int clsObjRef,
                                        int offset)