gov.nasa.jpf.vm

Class JPF_java_io_ObjectStreamClass

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_io_ObjectStreamClass

All Implemented Interfaces:

Cloneable

public class JPF_java_io_ObjectStreamClass
extends NativePeer

Constructor Summary

Constructors

Constructor and Description
JPF_java_io_ObjectStreamClass()

Method Summary

Methods

Modifier and Type	Method and Description
int	getDeclaredSUID__Ljava_lang_Class_2__Ljava_lang_Long_2(MJIEnv env, int objRef, int clsRef)
boolean	hasStaticInitializer__Ljava_lang_Class_2__Z(MJIEnv env, int objRef, int clsRef)
void	initNative____V(MJIEnv env, int clsObjRef)

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_io_ObjectStreamClass

public JPF_java_io_ObjectStreamClass()

Method Detail

initNative____V

public void initNative____V(MJIEnv env,
                   int clsObjRef)

hasStaticInitializer__Ljava_lang_Class_2__Z

public boolean hasStaticInitializer__Ljava_lang_Class_2__Z(MJIEnv env,
                                                  int objRef,
                                                  int clsRef)

getDeclaredSUID__Ljava_lang_Class_2__Ljava_lang_Long_2

public int getDeclaredSUID__Ljava_lang_Class_2__Ljava_lang_Long_2(MJIEnv env,
                                                         int objRef,
                                                         int clsRef)