gov.nasa.jpf.vm

Class JPF_gov_nasa_jpf_tools_MethodTester

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_gov_nasa_jpf_tools_MethodTester

All Implemented Interfaces:

Cloneable

public class JPF_gov_nasa_jpf_tools_MethodTester
extends NativePeer

native peer for the MethodTester tool

Constructor Summary

Constructors

Constructor and Description
JPF_gov_nasa_jpf_tools_MethodTester()

Method Summary

Methods

Modifier and Type	Method and Description
void	error__Ljava_lang_String_2__V(MJIEnv env, int objRef, int msgRef)
void	log__Ljava_lang_String_2__V(MJIEnv env, int objRef, int msgRef)

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_gov_nasa_jpf_tools_MethodTester

public JPF_gov_nasa_jpf_tools_MethodTester()

Method Detail

log__Ljava_lang_String_2__V

public void log__Ljava_lang_String_2__V(MJIEnv env,
                               int objRef,
                               int msgRef)

error__Ljava_lang_String_2__V

public void error__Ljava_lang_String_2__V(MJIEnv env,
                                 int objRef,
                                 int msgRef)