public class JPF_gov_nasa_jpf_SerializationConstructor extends NativePeer
Constructor and Description |
---|
JPF_gov_nasa_jpf_SerializationConstructor() |
Modifier and Type | Method and Description |
---|---|
int |
newInstance___3Ljava_lang_Object_2__Ljava_lang_Object_2(MJIEnv env,
int mthRef,
int argsRef)
create a new instance, but only call the ctor of the first
non-serializable superclass
|
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public JPF_gov_nasa_jpf_SerializationConstructor()
public int newInstance___3Ljava_lang_Object_2__Ljava_lang_Object_2(MJIEnv env, int mthRef, int argsRef)