gov.nasa.jpf.vm

Class JPF_sun_reflect_ReflectionFactory

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_sun_reflect_ReflectionFactory

All Implemented Interfaces:

Cloneable

public class JPF_sun_reflect_ReflectionFactory
extends NativePeer

<2do> hack around a hack - we need to override this as long as we don't replace ObjectStreamClass

Constructor Summary

Constructors

Constructor and Description
JPF_sun_reflect_ReflectionFactory()

Method Summary

Methods

Modifier and Type	Method and Description
int	newConstructorForSerialization__Ljava_lang_Class_2Ljava_lang_reflect_Constructor_2__Ljava_lang_reflect_Constructor_2(MJIEnv env, int objRef, int clsRef, int ctorRef)

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_ReflectionFactory

public JPF_sun_reflect_ReflectionFactory()

Method Detail

newConstructorForSerialization__Ljava_lang_Class_2Ljava_lang_reflect_Constructor_2__Ljava_lang_reflect_Constructor_2

public int newConstructorForSerialization__Ljava_lang_Class_2Ljava_lang_reflect_Constructor_2__Ljava_lang_reflect_Constructor_2(MJIEnv env,
                                                                                                                       int objRef,
                                                                                                                       int clsRef,
                                                                                                                       int ctorRef)