gov.nasa.jpf.vm

Class JPF_java_util_logging_Level

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_util_logging_Level

All Implemented Interfaces:

Cloneable

public class JPF_java_util_logging_Level
extends NativePeer

this is only a skeleton to make basic logging work under JPF

Constructor Summary

Constructors

Constructor and Description
JPF_java_util_logging_Level()

Method Summary

Methods

Modifier and Type	Method and Description
int	getLocalizedName____Ljava_lang_String_2(MJIEnv env, int objRef)

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_util_logging_Level

public JPF_java_util_logging_Level()

Method Detail

getLocalizedName____Ljava_lang_String_2

public int getLocalizedName____Ljava_lang_String_2(MJIEnv env,
                                          int objRef)