gov.nasa.jpf.vm

Class JPF_gov_nasa_jpf_vm_Verify

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_gov_nasa_jpf_vm_Verify

All Implemented Interfaces:

java.lang.Cloneable

public class JPF_gov_nasa_jpf_vm_Verify
extends NativePeer

native peer class for programmatic JPF interface (that can be used inside of apps to verify - if you are aware of the danger that comes with it) this peer is a bit different in that it only uses static fields and methods because its use is supposed to be JPF global (without classloader namespaces)

Field Summary

Fields

Modifier and Type	Field and Description
static int	FINE
static int	FINER
static int	FINEST
static int	heuristicSearchValue
static int	INFO
static int	NO_VALUE
static int	SEVERE
static int	WARNING

Constructor Summary

Constructors

Constructor and Description
JPF_gov_nasa_jpf_vm_Verify()

Method Summary

Modifier and Type	Method and Description
static void	addComment__Ljava_lang_String_2__V(MJIEnv env, int clsObjRef, int stringRef)
static void	addElementAttribute__Ljava_lang_Object_2II__V(MJIEnv env, int clsRef, int oRef, int idx, int attr)
static void	addFieldAttribute__Ljava_lang_Object_2Ljava_lang_String_2I__V(MJIEnv env, int clsRef, int oRef, int fnRef, int attr)
static void	addLocalAttribute__Ljava_lang_String_2I__V(MJIEnv env, int clsRef, int varRef, int attr)
static void	addObjectAttribute__Ljava_lang_Object_2I__V(MJIEnv env, int clsRef, int oRef, int attr)
static void	assertTrue__Z__V(MJIEnv env, int clsObjRef, boolean b)
static void	beginAtomic____V(MJIEnv env, int clsObjRef)
static void	breakTransition__Ljava_lang_String_2__V(MJIEnv env, int clsObjRef, int reasonRef)
int	breakTransition__Ljava_lang_String_2II__I(MJIEnv env, int clsObjRef, int reasonRef, int min, int max) mostly for debugging purposes - this does not optimize away single choice CGs
static void	busyWait__J__V(MJIEnv env, int clsObjRef, long duration)
static int	createFromJSON__Ljava_lang_Class_2Ljava_lang_String_2__Ljava_lang_Object_2(MJIEnv env, int clsObjRef, int newObjClsRef, int jsonStringRef)
static long	currentTimeMillis____J(MJIEnv env, int clsObjRef)
static void	endAtomic____V(MJIEnv env, int clsObjRef)
static void	freezeSharedness__Ljava_lang_Object_2Z__V(MJIEnv env, int clsObjRef, int objRef, boolean freeze)
static boolean	getBitInBitSet__II__Z(MJIEnv env, int clsObjRef, int id, int bitNum)
static boolean	getBoolean____Z(MJIEnv env, int clsObjRef)
static boolean	getBoolean__Z__Z(MJIEnv env, int clsObjRef, boolean falseFirst)
static int	getCounter__I__I(MJIEnv env, int clsObjRef, int counterId)
static double	getDouble__Ljava_lang_String_2__D(MJIEnv env, int clsObjRef, int idRef)
static double	getDoubleFromList___3D__D(MJIEnv env, int clsObjRef, int valArrayRef)
static double	getDoubleFromList(MJIEnv env, double[] values)
static int	getElementAttribute__Ljava_lang_Object_2I__I(MJIEnv env, int clsRef, int oRef, int idx)
static int	getElementAttributes__Ljava_lang_Object_2I___3I(MJIEnv env, int clsRef, int oRef, int idx)
static int	getFieldAttribute__Ljava_lang_Object_2Ljava_lang_String_2__I(MJIEnv env, int clsRef, int oRef, int fnRef)
static int	getFieldAttributes__Ljava_lang_Object_2Ljava_lang_String_2___3I(MJIEnv env, int clsRef, int oRef, int fnRef)
static float	getFloatFromList___3F__F(MJIEnv env, int clsObjRef, int valArrayRef)
static float	getFloatFromList(MJIEnv env, float[] values)
static int	getHeuristicSearchValue____I(MJIEnv env, int clsObjRef)
static int	getInt__II__I(MJIEnv env, int clsObjRef, int min, int max)
static int	getInt__Ljava_lang_String_2__I(MJIEnv env, int clsObjRef, int idRef)
static int	getIntFromList___3I__I(MJIEnv env, int clsObjRef, int valArrayRef)
static int	getLocalAttribute__Ljava_lang_String_2__I(MJIEnv env, int clsRef, int varRef)
static int	getLocalAttributes__Ljava_lang_String_2___3I(MJIEnv env, int clsRef, int varRef)
static long	getLongFromList___3J__J(MJIEnv env, int clsObjRef, int valArrayRef)
static int	getObject__Ljava_lang_String_2__Ljava_lang_Object_2(MJIEnv env, int clsObjRef, int idRef)
static int	getObjectAttribute__Ljava_lang_Object_2__I(MJIEnv env, int clsRef, int oRef)
static int	getObjectAttributes__Ljava_lang_Object_2___3I(MJIEnv env, int clsRef, int oRef)
static int	getProperty__Ljava_lang_String_2__Ljava_lang_String_2(MJIEnv env, int clsObjRef, int keyRef)
static java.lang.String	getType(int objRef, MJIEnv env)
static int	getValue__Ljava_lang_String_2__I(MJIEnv env, int clsObjRef, int keyRef)
static void	ignoreIf__Z__V(MJIEnv env, int clsObjRef, boolean cond)
static int	incrementCounter__I__I(MJIEnv env, int clsObjRef, int counterId)
static boolean	init(Config conf)
static void	interesting__Z__V(MJIEnv env, int clsObjRef, boolean cond)
static boolean	isCalledFromClass__Ljava_lang_String_2__Z(MJIEnv env, int clsObjRef, int clsNameRef)
static boolean	isRunningInJPF____Z(MJIEnv env, int clsObjRef)
static boolean	isShared__Ljava_lang_Object_2__Z(MJIEnv env, int clsObjRef, int objRef)
static boolean	isTraceReplay____Z(MJIEnv env, int clsObjRef)
static void	log__Ljava_lang_String_2ILjava_lang_String_2__V(MJIEnv env, int clsObjRef, int loggerIdRef, int logLevel, int msgRef)
static void	log__Ljava_lang_String_2ILjava_lang_String_2_3Ljava_lang_Object_2__V(MJIEnv env, int clsObjRef, int loggerIdRef, int logLevel, int fmtRef, int argsRef)
static void	log__Ljava_lang_String_2ILjava_lang_String_2Ljava_lang_String_2__V(MJIEnv env, int clsObjRef, int loggerIdRef, int logLevel, int arg1Ref, int arg2Ref)
static void	print___3Ljava_lang_String_2__V(MJIEnv env, int clsRef, int argsRef)
static void	print__Ljava_lang_String_2__V(MJIEnv env, int clsRef, int sRef)
static void	print__Ljava_lang_String_2I__V(MJIEnv env, int clsRef, int sRef, int val)
static void	print__Ljava_lang_String_2Z__V(MJIEnv env, int clsRef, int sRef, boolean val)
static void	println____V(MJIEnv env, int clsRef)
static void	println__Ljava_lang_String_2__V(MJIEnv env, int clsRef, int sRef)
static void	printPathOutput__Ljava_lang_String_2__V(MJIEnv env, int clsObjRef, int msgRef)
static void	printPathOutput__ZLjava_lang_String_2__V(MJIEnv env, int clsObjRef, boolean cond, int msgRef)
static void	putValue__Ljava_lang_String_2I__V(MJIEnv env, int clsObjRef, int keyRef, int val)
static int	random__I__I(MJIEnv env, int clsObjRef, int x) deprecated, use getInt
static boolean	randomBool(MJIEnv env, int clsObjRef) deprecated, use getBoolean()
static int	readObjectFromFile__Ljava_lang_Class_2Ljava_lang_String_2__Ljava_lang_Object_2(MJIEnv env, int clsObjRef, int newObjClsRef, int fileNameRef)
static void	resetCounter__I__V(MJIEnv env, int clsObjRef, int counterId)
static void	resetHeuristicSearchValue____V(MJIEnv env, int clsObjRef)
static void	setBitInBitSet__IIZ__V(MJIEnv env, int clsObjRef, int id, int bitNum, boolean value)
static void	setCounter__II__V(MJIEnv env, int clsObjRef, int counterId, int val)
static void	setElementAttribute__Ljava_lang_Object_2II__V(MJIEnv env, int clsRef, int oRef, int idx, int attr)
static void	setFieldAttribute__Ljava_lang_Object_2Ljava_lang_String_2I__V(MJIEnv env, int clsRef, int oRef, int fnRef, int attr)
static void	setHeuristicSearchValue__I__V(MJIEnv env, int clsObjRef, int val)
static void	setLocalAttribute__Ljava_lang_String_2I__V(MJIEnv env, int clsRef, int varRef, int attr)
static void	setObjectAttribute__Ljava_lang_Object_2I__V(MJIEnv env, int clsRef, int oRef, int attr)
static void	setProperties___3Ljava_lang_String_2__V(MJIEnv env, int clsObjRef, int argRef)
static void	setShared__Ljava_lang_Object_2Z__V(MJIEnv env, int clsObjRef, int objRef, boolean isShared)
static void	storeTrace__Ljava_lang_String_2Ljava_lang_String_2__V(MJIEnv env, int clsObjRef, int filenameRef, int commentRef)
static void	terminateSearch____V(MJIEnv env, int clsObjRef)
static void	threadPrint__Ljava_lang_String_2__V(MJIEnv env, int clsRef, int sRef)
static void	threadPrintln__Ljava_lang_String_2__V(MJIEnv env, int clsRef, int sRef)
static boolean	vmIsMatchingStates____Z(MJIEnv env, int clsObjRef)

Methods inherited from class gov.nasa.jpf.vm.NativePeer

checkOrphan, getInstance, getInstance, getPeerClass, getPeerClassName, ignoreOrphan, initialize, initializePeerClass, loadMethods

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

heuristicSearchValue

public static int heuristicSearchValue

NO_VALUE

public static final int NO_VALUE

See Also:

Constant Field Values

SEVERE

public static final int SEVERE

See Also:

Constant Field Values

WARNING

public static final int WARNING

See Also:

Constant Field Values

INFO

public static final int INFO

See Also:

Constant Field Values

FINE

public static final int FINE

See Also:

Constant Field Values

FINER

public static final int FINER

See Also:

Constant Field Values

FINEST

public static final int FINEST

See Also:

Constant Field Values

Constructor Detail

JPF_gov_nasa_jpf_vm_Verify

public JPF_gov_nasa_jpf_vm_Verify()

Method Detail

init

public static boolean init(Config conf)

getValue__Ljava_lang_String_2__I

public static int getValue__Ljava_lang_String_2__I(MJIEnv env,
                                                   int clsObjRef,
                                                   int keyRef)

putValue__Ljava_lang_String_2I__V

public static void putValue__Ljava_lang_String_2I__V(MJIEnv env,
                                                     int clsObjRef,
                                                     int keyRef,
                                                     int val)

getCounter__I__I

public static int getCounter__I__I(MJIEnv env,
                                   int clsObjRef,
                                   int counterId)

resetCounter__I__V

public static void resetCounter__I__V(MJIEnv env,
                                      int clsObjRef,
                                      int counterId)

setCounter__II__V

public static void setCounter__II__V(MJIEnv env,
                                     int clsObjRef,
                                     int counterId,
                                     int val)

incrementCounter__I__I

public static int incrementCounter__I__I(MJIEnv env,
                                         int clsObjRef,
                                         int counterId)

setBitInBitSet__IIZ__V

public static void setBitInBitSet__IIZ__V(MJIEnv env,
                                          int clsObjRef,
                                          int id,
                                          int bitNum,
                                          boolean value)

getBitInBitSet__II__Z

public static boolean getBitInBitSet__II__Z(MJIEnv env,
                                            int clsObjRef,
                                            int id,
                                            int bitNum)

currentTimeMillis____J

public static long currentTimeMillis____J(MJIEnv env,
                                          int clsObjRef)

getType

public static java.lang.String getType(int objRef,
                                       MJIEnv env)

addComment__Ljava_lang_String_2__V

public static void addComment__Ljava_lang_String_2__V(MJIEnv env,
                                                      int clsObjRef,
                                                      int stringRef)

assertTrue__Z__V

public static void assertTrue__Z__V(MJIEnv env,
                                    int clsObjRef,
                                    boolean b)

beginAtomic____V

public static void beginAtomic____V(MJIEnv env,
                                    int clsObjRef)

endAtomic____V

public static void endAtomic____V(MJIEnv env,
                                  int clsObjRef)

busyWait__J__V

public static void busyWait__J__V(MJIEnv env,
                                  int clsObjRef,
                                  long duration)

ignoreIf__Z__V

public static void ignoreIf__Z__V(MJIEnv env,
                                  int clsObjRef,
                                  boolean cond)

interesting__Z__V

public static void interesting__Z__V(MJIEnv env,
                                     int clsObjRef,
                                     boolean cond)

breakTransition__Ljava_lang_String_2__V

public static void breakTransition__Ljava_lang_String_2__V(MJIEnv env,
                                                           int clsObjRef,
                                                           int reasonRef)

breakTransition__Ljava_lang_String_2II__I

public int breakTransition__Ljava_lang_String_2II__I(MJIEnv env,
                                                     int clsObjRef,
                                                     int reasonRef,
                                                     int min,
                                                     int max)

mostly for debugging purposes - this does not optimize away single choice CGs

isCalledFromClass__Ljava_lang_String_2__Z

public static boolean isCalledFromClass__Ljava_lang_String_2__Z(MJIEnv env,
                                                                int clsObjRef,
                                                                int clsNameRef)

getBoolean____Z

public static boolean getBoolean____Z(MJIEnv env,
                                      int clsObjRef)

getBoolean__Z__Z

public static boolean getBoolean__Z__Z(MJIEnv env,
                                       int clsObjRef,
                                       boolean falseFirst)

getInt__II__I

public static int getInt__II__I(MJIEnv env,
                                int clsObjRef,
                                int min,
                                int max)

getIntFromList___3I__I

public static int getIntFromList___3I__I(MJIEnv env,
                                         int clsObjRef,
                                         int valArrayRef)

getInt__Ljava_lang_String_2__I

public static int getInt__Ljava_lang_String_2__I(MJIEnv env,
                                                 int clsObjRef,
                                                 int idRef)

getLongFromList___3J__J

public static long getLongFromList___3J__J(MJIEnv env,
                                           int clsObjRef,
                                           int valArrayRef)

getObject__Ljava_lang_String_2__Ljava_lang_Object_2

public static int getObject__Ljava_lang_String_2__Ljava_lang_Object_2(MJIEnv env,
                                                                      int clsObjRef,
                                                                      int idRef)

getDouble__Ljava_lang_String_2__D

public static double getDouble__Ljava_lang_String_2__D(MJIEnv env,
                                                       int clsObjRef,
                                                       int idRef)

getDoubleFromList

public static double getDoubleFromList(MJIEnv env,
                                       double[] values)

getDoubleFromList___3D__D

public static double getDoubleFromList___3D__D(MJIEnv env,
                                               int clsObjRef,
                                               int valArrayRef)

getFloatFromList

public static float getFloatFromList(MJIEnv env,
                                     float[] values)

getFloatFromList___3F__F

public static float getFloatFromList___3F__F(MJIEnv env,
                                             int clsObjRef,
                                             int valArrayRef)

threadPrint__Ljava_lang_String_2__V

public static void threadPrint__Ljava_lang_String_2__V(MJIEnv env,
                                                       int clsRef,
                                                       int sRef)

print__Ljava_lang_String_2I__V

public static void print__Ljava_lang_String_2I__V(MJIEnv env,
                                                  int clsRef,
                                                  int sRef,
                                                  int val)

print__Ljava_lang_String_2Z__V

public static void print__Ljava_lang_String_2Z__V(MJIEnv env,
                                                  int clsRef,
                                                  int sRef,
                                                  boolean val)

print___3Ljava_lang_String_2__V

public static void print___3Ljava_lang_String_2__V(MJIEnv env,
                                                   int clsRef,
                                                   int argsRef)

print__Ljava_lang_String_2__V

public static void print__Ljava_lang_String_2__V(MJIEnv env,
                                                 int clsRef,
                                                 int sRef)

println__Ljava_lang_String_2__V

public static void println__Ljava_lang_String_2__V(MJIEnv env,
                                                   int clsRef,
                                                   int sRef)

threadPrintln__Ljava_lang_String_2__V

public static void threadPrintln__Ljava_lang_String_2__V(MJIEnv env,
                                                         int clsRef,
                                                         int sRef)

println____V

public static void println____V(MJIEnv env,
                                int clsRef)

setObjectAttribute__Ljava_lang_Object_2I__V

public static void setObjectAttribute__Ljava_lang_Object_2I__V(MJIEnv env,
                                                               int clsRef,
                                                               int oRef,
                                                               int attr)

getObjectAttribute__Ljava_lang_Object_2__I

public static int getObjectAttribute__Ljava_lang_Object_2__I(MJIEnv env,
                                                             int clsRef,
                                                             int oRef)

addObjectAttribute__Ljava_lang_Object_2I__V

public static void addObjectAttribute__Ljava_lang_Object_2I__V(MJIEnv env,
                                                               int clsRef,
                                                               int oRef,
                                                               int attr)

getObjectAttributes__Ljava_lang_Object_2___3I

public static int getObjectAttributes__Ljava_lang_Object_2___3I(MJIEnv env,
                                                                int clsRef,
                                                                int oRef)

setFieldAttribute__Ljava_lang_Object_2Ljava_lang_String_2I__V

public static void setFieldAttribute__Ljava_lang_Object_2Ljava_lang_String_2I__V(MJIEnv env,
                                                                                 int clsRef,
                                                                                 int oRef,
                                                                                 int fnRef,
                                                                                 int attr)

getFieldAttribute__Ljava_lang_Object_2Ljava_lang_String_2__I

public static int getFieldAttribute__Ljava_lang_Object_2Ljava_lang_String_2__I(MJIEnv env,
                                                                               int clsRef,
                                                                               int oRef,
                                                                               int fnRef)

addFieldAttribute__Ljava_lang_Object_2Ljava_lang_String_2I__V

public static void addFieldAttribute__Ljava_lang_Object_2Ljava_lang_String_2I__V(MJIEnv env,
                                                                                 int clsRef,
                                                                                 int oRef,
                                                                                 int fnRef,
                                                                                 int attr)

getFieldAttributes__Ljava_lang_Object_2Ljava_lang_String_2___3I

public static int getFieldAttributes__Ljava_lang_Object_2Ljava_lang_String_2___3I(MJIEnv env,
                                                                                  int clsRef,
                                                                                  int oRef,
                                                                                  int fnRef)

setLocalAttribute__Ljava_lang_String_2I__V

public static void setLocalAttribute__Ljava_lang_String_2I__V(MJIEnv env,
                                                              int clsRef,
                                                              int varRef,
                                                              int attr)

getLocalAttribute__Ljava_lang_String_2__I

public static int getLocalAttribute__Ljava_lang_String_2__I(MJIEnv env,
                                                            int clsRef,
                                                            int varRef)

addLocalAttribute__Ljava_lang_String_2I__V

public static void addLocalAttribute__Ljava_lang_String_2I__V(MJIEnv env,
                                                              int clsRef,
                                                              int varRef,
                                                              int attr)

getLocalAttributes__Ljava_lang_String_2___3I

public static int getLocalAttributes__Ljava_lang_String_2___3I(MJIEnv env,
                                                               int clsRef,
                                                               int varRef)

setElementAttribute__Ljava_lang_Object_2II__V

public static void setElementAttribute__Ljava_lang_Object_2II__V(MJIEnv env,
                                                                 int clsRef,
                                                                 int oRef,
                                                                 int idx,
                                                                 int attr)

getElementAttribute__Ljava_lang_Object_2I__I

public static int getElementAttribute__Ljava_lang_Object_2I__I(MJIEnv env,
                                                               int clsRef,
                                                               int oRef,
                                                               int idx)

addElementAttribute__Ljava_lang_Object_2II__V

public static void addElementAttribute__Ljava_lang_Object_2II__V(MJIEnv env,
                                                                 int clsRef,
                                                                 int oRef,
                                                                 int idx,
                                                                 int attr)

getElementAttributes__Ljava_lang_Object_2I___3I

public static int getElementAttributes__Ljava_lang_Object_2I___3I(MJIEnv env,
                                                                  int clsRef,
                                                                  int oRef,
                                                                  int idx)

randomBool

public static boolean randomBool(MJIEnv env,
                                 int clsObjRef)

deprecated, use getBoolean()

random__I__I

public static int random__I__I(MJIEnv env,
                               int clsObjRef,
                               int x)

deprecated, use getInt

isRunningInJPF____Z

public static boolean isRunningInJPF____Z(MJIEnv env,
                                          int clsObjRef)

vmIsMatchingStates____Z

public static boolean vmIsMatchingStates____Z(MJIEnv env,
                                              int clsObjRef)

storeTrace__Ljava_lang_String_2Ljava_lang_String_2__V

public static void storeTrace__Ljava_lang_String_2Ljava_lang_String_2__V(MJIEnv env,
                                                                         int clsObjRef,
                                                                         int filenameRef,
                                                                         int commentRef)

terminateSearch____V

public static void terminateSearch____V(MJIEnv env,
                                        int clsObjRef)

setHeuristicSearchValue__I__V

public static void setHeuristicSearchValue__I__V(MJIEnv env,
                                                 int clsObjRef,
                                                 int val)

getHeuristicSearchValue____I

public static int getHeuristicSearchValue____I(MJIEnv env,
                                               int clsObjRef)

resetHeuristicSearchValue____V

public static void resetHeuristicSearchValue____V(MJIEnv env,
                                                  int clsObjRef)

isTraceReplay____Z

public static boolean isTraceReplay____Z(MJIEnv env,
                                         int clsObjRef)

isShared__Ljava_lang_Object_2__Z

public static boolean isShared__Ljava_lang_Object_2__Z(MJIEnv env,
                                                       int clsObjRef,
                                                       int objRef)

setShared__Ljava_lang_Object_2Z__V

public static void setShared__Ljava_lang_Object_2Z__V(MJIEnv env,
                                                      int clsObjRef,
                                                      int objRef,
                                                      boolean isShared)

freezeSharedness__Ljava_lang_Object_2Z__V

public static void freezeSharedness__Ljava_lang_Object_2Z__V(MJIEnv env,
                                                             int clsObjRef,
                                                             int objRef,
                                                             boolean freeze)

setProperties___3Ljava_lang_String_2__V

public static void setProperties___3Ljava_lang_String_2__V(MJIEnv env,
                                                           int clsObjRef,
                                                           int argRef)

getProperty__Ljava_lang_String_2__Ljava_lang_String_2

public static int getProperty__Ljava_lang_String_2__Ljava_lang_String_2(MJIEnv env,
                                                                        int clsObjRef,
                                                                        int keyRef)

printPathOutput__ZLjava_lang_String_2__V

public static void printPathOutput__ZLjava_lang_String_2__V(MJIEnv env,
                                                            int clsObjRef,
                                                            boolean cond,
                                                            int msgRef)

printPathOutput__Ljava_lang_String_2__V

public static void printPathOutput__Ljava_lang_String_2__V(MJIEnv env,
                                                           int clsObjRef,
                                                           int msgRef)

createFromJSON__Ljava_lang_Class_2Ljava_lang_String_2__Ljava_lang_Object_2

public static int createFromJSON__Ljava_lang_Class_2Ljava_lang_String_2__Ljava_lang_Object_2(MJIEnv env,
                                                                                             int clsObjRef,
                                                                                             int newObjClsRef,
                                                                                             int jsonStringRef)

readObjectFromFile__Ljava_lang_Class_2Ljava_lang_String_2__Ljava_lang_Object_2

public static int readObjectFromFile__Ljava_lang_Class_2Ljava_lang_String_2__Ljava_lang_Object_2(MJIEnv env,
                                                                                                 int clsObjRef,
                                                                                                 int newObjClsRef,
                                                                                                 int fileNameRef)

log__Ljava_lang_String_2ILjava_lang_String_2__V

public static void log__Ljava_lang_String_2ILjava_lang_String_2__V(MJIEnv env,
                                                                   int clsObjRef,
                                                                   int loggerIdRef,
                                                                   int logLevel,
                                                                   int msgRef)

log__Ljava_lang_String_2ILjava_lang_String_2Ljava_lang_String_2__V

public static void log__Ljava_lang_String_2ILjava_lang_String_2Ljava_lang_String_2__V(MJIEnv env,
                                                                                      int clsObjRef,
                                                                                      int loggerIdRef,
                                                                                      int logLevel,
                                                                                      int arg1Ref,
                                                                                      int arg2Ref)

log__Ljava_lang_String_2ILjava_lang_String_2_3Ljava_lang_Object_2__V

public static void log__Ljava_lang_String_2ILjava_lang_String_2_3Ljava_lang_Object_2__V(MJIEnv env,
                                                                                        int clsObjRef,
                                                                                        int loggerIdRef,
                                                                                        int logLevel,
                                                                                        int fmtRef,
                                                                                        int argsRef)