gov.nasa.jpf.vm

Class JPF_java_util_ResourceBundle

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_util_ResourceBundle

All Implemented Interfaces:

Cloneable

public class JPF_java_util_ResourceBundle
extends NativePeer

native peer for ResourceBundle

Constructor Summary

Constructors

Constructor and Description
JPF_java_util_ResourceBundle()

Method Summary

Methods

Modifier and Type	Method and Description
int	getClassContext_____3Ljava_lang_Class_2(MJIEnv env, int clsRef)

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_ResourceBundle

public JPF_java_util_ResourceBundle()

Method Detail

getClassContext_____3Ljava_lang_Class_2

public int getClassContext_____3Ljava_lang_Class_2(MJIEnv env,
                                          int clsRef)