JPF_java_text_DecimalFormatSymbols


1   //
2   // Copyright (C) 2005 United States Government as represented by the
3   // Administrator of the National Aeronautics and Space Administration
4   // (NASA).  All Rights Reserved.
5   // 
6   // This software is distributed under the NASA Open Source Agreement
7   // (NOSA), version 1.3.  The NOSA has been approved by the Open Source
8   // Initiative.  See the file NOSA-1.3-JPF at the top of the distribution
9   // directory tree for the complete NOSA document.
10  // 
11  // THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY OF ANY
12  // KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT
13  // LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO
14  // SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR
15  // A PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT
16  // THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT
17  // DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE.
18  //
19  
20  package gov.nasa.jpf.jvm;
21  
22  import java.text.DecimalFormatSymbols  ;
23  
24  /**
25   * MJI NativePeer class for java.text.DecimalFormatSymbols library abstraction
26   * 
27   * we need to intercept the initialization because it is requires
28   * file io (properties) based on the Locale
29   */
30  public class JPF_java_text_DecimalFormatSymbols
31  {
32    public static void initialize (MJIEnv env, int objRef, int localeRef) {
33      DecimalFormatSymbols   dfs = new DecimalFormatSymbols  ();
34      
35      env.setCharField(objRef,"decimalSeparator", dfs.getDecimalSeparator());
36      env.setCharField(objRef,"patternSeparator", dfs.getPatternSeparator());
37      env.setCharField(objRef,"percent", dfs.getPercent());
38      env.setCharField(objRef,"digit", dfs.getDigit());
39      env.setCharField(objRef,"minusSign", dfs.getMinusSign());
40  //    env.setCharField(objRef,"exponential", dfs.getExponential());  // 1.4.2
41      env.setCharField(objRef,"perMill", dfs.getPerMill());
42      env.setReferenceField(objRef,"infinity", env.newString(dfs.getInfinity()));
43      env.setReferenceField(objRef,"NaN", env.newString(dfs.getNaN()));
44      env.setReferenceField(objRef,"currencySymbol", env.newString(dfs.getCurrencySymbol()));
45      env.setCharField(objRef,"monetarySeparator", dfs.getMonetaryDecimalSeparator());
46    }
47  }
48  
49
A to Z: JavaDoc & Examples Daily Java News & Articles Open Source Projects Open Source Codes Free Computer Books Remove Frame
Popular Tags