gov.nasa.jpf.vm

Class JPF_java_text_DecimalFormatSymbols

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_text_DecimalFormatSymbols

All Implemented Interfaces:

Cloneable

public class JPF_java_text_DecimalFormatSymbols
extends NativePeer

MJI NativePeer class for java.text.DecimalFormatSymbols library abstraction we need to intercept the initialization because it is requires file io (properties) based on the Locale

Constructor Summary

Constructors

Constructor and Description
JPF_java_text_DecimalFormatSymbols()

Method Summary

Methods

Modifier and Type	Method and Description
void	initialize__Ljava_util_Locale_2__V(MJIEnv env, int objRef, int localeRef)

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_text_DecimalFormatSymbols

public JPF_java_text_DecimalFormatSymbols()

Method Detail

initialize__Ljava_util_Locale_2__V

public void initialize__Ljava_util_Locale_2__V(MJIEnv env,
                                      int objRef,
                                      int localeRef)