home *** CD-ROM | disk | FTP | other *** search
/ Sky at Night 2007 June / SAN CD 6-2007 CD-ROM 25.iso / pc / Software / AstroGrav_Win / Java / jre1.6.0 / lib / rt.jar / javax / swing / JSlider$1SmartHashtable.class (.txt) < prev    next >
Encoding:
Java Class File  |  2006-11-29  |  2.0 KB  |  65 lines
  1. package javax.swing;
  2.  
  3. import java.beans.PropertyChangeEvent;
  4. import java.beans.PropertyChangeListener;
  5. import java.util.Enumeration;
  6. import java.util.Hashtable;
  7.  
  8. class JSlider$1SmartHashtable extends Hashtable implements PropertyChangeListener {
  9.    int increment;
  10.    int start;
  11.    boolean startAtMin;
  12.    // $FF: synthetic field
  13.    final JSlider this$0;
  14.  
  15.    public JSlider$1SmartHashtable(JSlider var1, int var2, int var3) {
  16.       this.this$0 = var1;
  17.       this.increment = 0;
  18.       this.start = 0;
  19.       this.startAtMin = false;
  20.       this.increment = var2;
  21.       this.start = var3;
  22.       this.startAtMin = var3 == var1.getMinimum();
  23.       this.createLabels();
  24.    }
  25.  
  26.    public void propertyChange(PropertyChangeEvent var1) {
  27.       if (var1.getPropertyName().equals("minimum") && this.startAtMin) {
  28.          this.start = this.this$0.getMinimum();
  29.       }
  30.  
  31.       if (var1.getPropertyName().equals("minimum") || var1.getPropertyName().equals("maximum")) {
  32.          Enumeration var2 = this.this$0.getLabelTable().keys();
  33.          Object var3 = null;
  34.          Hashtable var4 = new Hashtable();
  35.  
  36.          while(var2.hasMoreElements()) {
  37.             var3 = var2.nextElement();
  38.             Object var5 = this.this$0.getLabelTable().get(var3);
  39.             if (!(var5 instanceof JSlider.1SmartHashtable.LabelUIResource)) {
  40.                var4.put(var3, var5);
  41.             }
  42.          }
  43.  
  44.          this.clear();
  45.          this.createLabels();
  46.          var2 = var4.keys();
  47.  
  48.          while(var2.hasMoreElements()) {
  49.             var3 = var2.nextElement();
  50.             this.put(var3, var4.get(var3));
  51.          }
  52.  
  53.          ((JSlider)var1.getSource()).setLabelTable(this);
  54.       }
  55.  
  56.    }
  57.  
  58.    void createLabels() {
  59.       for(int var1 = this.start; var1 <= this.this$0.getMaximum(); var1 += this.increment) {
  60.          this.put(new Integer(var1), new JSlider.1SmartHashtable.LabelUIResource(this, "" + var1, 0));
  61.       }
  62.  
  63.    }
  64. }
  65.