public class JPF_gov_nasa_jpf_test_MemoryGoal extends NativePeer
Constructor and Description |
---|
JPF_gov_nasa_jpf_test_MemoryGoal() |
Modifier and Type | Method and Description |
---|---|
boolean |
postCheck__Lgov_nasa_jpf_test_TestContext_2Ljava_lang_reflect_Method_2Ljava_lang_Object_2Ljava_lang_Throwable_2__Z(MJIEnv env,
int objRef,
int testContextRef,
int methdRef,
int resultRef,
int exRef) |
boolean |
preCheck__Lgov_nasa_jpf_test_TestContext_2Ljava_lang_reflect_Method_2__Z(MJIEnv env,
int objRef,
int testContextRef,
int methodRef) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public boolean preCheck__Lgov_nasa_jpf_test_TestContext_2Ljava_lang_reflect_Method_2__Z(MJIEnv env, int objRef, int testContextRef, int methodRef)
public boolean postCheck__Lgov_nasa_jpf_test_TestContext_2Ljava_lang_reflect_Method_2Ljava_lang_Object_2Ljava_lang_Throwable_2__Z(MJIEnv env, int objRef, int testContextRef, int methdRef, int resultRef, int exRef)