home *** CD-ROM | disk | FTP | other *** search
/ S283 Planetary Science &n…he Search for Life DVD 2 / DVD-ROM.iso / install / jre1_3 / lib / rt.jar / java / text / resources / DateFormatZoneData.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  3.3 KB  |  55 lines
  1. package java.text.resources;
  2.  
  3. import java.util.Enumeration;
  4. import java.util.Hashtable;
  5. import java.util.ResourceBundle;
  6. import java.util.Vector;
  7.  
  8. public class DateFormatZoneData extends ResourceBundle {
  9.    Hashtable lookup = null;
  10.    Vector keys = null;
  11.  
  12.    public Object handleGetObject(String var1) {
  13.       if (this.lookup == null || this.keys == null) {
  14.          this.loadLookup();
  15.       }
  16.  
  17.       return this.lookup.get(var1);
  18.    }
  19.  
  20.    public Enumeration getKeys() {
  21.       if (this.lookup == null || this.keys == null) {
  22.          this.loadLookup();
  23.       }
  24.  
  25.       Object var1 = null;
  26.       if (super.parent != null) {
  27.          Enumeration var2 = this.keys.elements();
  28.          Enumeration var3 = super.parent.getKeys();
  29.          var1 = new 1(this, var2, var3);
  30.       } else {
  31.          var1 = this.keys.elements();
  32.       }
  33.  
  34.       return (Enumeration)var1;
  35.    }
  36.  
  37.    private synchronized void loadLookup() {
  38.       Object[][] var1 = this.getContents();
  39.       Hashtable var2 = new Hashtable(var1.length);
  40.       Vector var3 = new Vector(var1.length);
  41.  
  42.       for(int var4 = 0; var4 < var1.length; ++var4) {
  43.          var2.put(var1[var4][0], var1[var4][1]);
  44.          var3.add(var1[var4][0]);
  45.       }
  46.  
  47.       this.lookup = var2;
  48.       this.keys = var3;
  49.    }
  50.  
  51.    public Object[][] getContents() {
  52.       return new Object[][]{{"PST", new String[]{"PST", "Pacific Standard Time", "PST", "Pacific Daylight Time", "PDT", "San Francisco"}}, {"MST", new String[]{"MST", "Mountain Standard Time", "MST", "Mountain Daylight Time", "MDT", "Denver"}}, {"CST", new String[]{"CST", "Central Standard Time", "CST", "Central Daylight Time", "CDT", "Chicago"}}, {"EST", new String[]{"EST", "Eastern Standard Time", "EST", "Eastern Daylight Time", "EDT", "New York"}}, {"America/Los_Angeles", new String[]{"America/Los_Angeles", "Pacific Standard Time", "PST", "Pacific Daylight Time", "PDT"}}, {"America/Denver", new String[]{"America/Denver", "Mountain Standard Time", "MST", "Mountain Daylight Time", "MDT"}}, {"America/Phoenix", new String[]{"America/Phoenix", "Mountain Standard Time", "MST", "Mountain Standard Time", "MST"}}, {"America/Chicago", new String[]{"America/Chicago", "Central Standard Time", "CST", "Central Daylight Time", "CDT"}}, {"America/New_York", new String[]{"America/New_York", "Eastern Standard Time", "EST", "Eastern Daylight Time", "EDT"}}, {"America/Indianapolis", new String[]{"America/Indianapolis", "Eastern Standard Time", "EST", "Eastern Standard Time", "EST"}}, {"Pacific/Honolulu", new String[]{"Pacific/Honolulu", "Hawaii Standard Time", "HST", "Hawaii Standard Time", "HST"}}, {"America/Anchorage", new String[]{"America/Anchorage", "Alaska Standard Time", "AKST", "Alaska Daylight Time", "AKDT"}}, {"America/Halifax", new String[]{"America/Halifax", "Atlantic Standard Time", "AST", "Atlantic Daylight Time", "ADT"}}, {"Europe/Paris", new String[]{"Europe/Paris", "Central European Standard Time", "CET", "Central European Daylight Time", "CEST"}}, {"GMT", new String[]{"GMT", "Greenwich Mean Time", "GMT", "Greenwich Mean Time", "GMT"}}, {"Asia/Jerusalem", new String[]{"Asia/Jerusalem", "Israel Standard Time", "IST", "Israel Daylight Time", "IDT"}}, {"Asia/Tokyo", new String[]{"Asia/Tokyo", "Japan Standard Time", "JST", "Japan Standard Time", "JST"}}, {"Europe/Bucharest", new String[]{"Europe/Bucharest", "Eastern European Standard Time", "EET", "Eastern European Daylight Time", "EEST"}}, {"Asia/Shanghai", new String[]{"Asia/Shanghai", "China Standard Time", "CST", "China Standard Time", "CDT"}}, {"localPatternChars", "GyMdkHmsSEDFwWahKz"}};
  53.    }
  54. }
  55.