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 / javax / swing / JSlider$1$SmartHashtable.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  2.0 KB  |  66 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.EventObject;
  7. import java.util.Hashtable;
  8.  
  9. class JSlider$1$SmartHashtable extends Hashtable implements PropertyChangeListener {
  10.    int increment;
  11.    int start;
  12.    boolean startAtMin;
  13.    // $FF: synthetic field
  14.    private final JSlider this$0;
  15.  
  16.    public JSlider$1$SmartHashtable(JSlider var1, int var2, int var3) {
  17.       this.this$0 = var1;
  18.       this.increment = 0;
  19.       this.start = 0;
  20.       this.startAtMin = false;
  21.       this.increment = var2;
  22.       this.start = var3;
  23.       this.startAtMin = var3 == var1.getMinimum();
  24.       this.createLabels();
  25.    }
  26.  
  27.    public void propertyChange(PropertyChangeEvent var1) {
  28.       if (var1.getPropertyName().equals("minimum") && this.startAtMin) {
  29.          this.start = this.this$0.getMinimum();
  30.       }
  31.  
  32.       if (var1.getPropertyName().equals("minimum") || var1.getPropertyName().equals("maximum")) {
  33.          Enumeration var2 = this.this$0.getLabelTable().keys();
  34.          Object var3 = null;
  35.          Hashtable var4 = new Hashtable();
  36.  
  37.          while(var2.hasMoreElements()) {
  38.             var3 = var2.nextElement();
  39.             Object var5 = this.this$0.getLabelTable().get(var3);
  40.             if (!(var5 instanceof JSlider.1.SmartHashtable.LabelUIResource)) {
  41.                var4.put(var3, var5);
  42.             }
  43.          }
  44.  
  45.          ((Hashtable)this).clear();
  46.          this.createLabels();
  47.          var2 = var4.keys();
  48.  
  49.          while(var2.hasMoreElements()) {
  50.             var3 = var2.nextElement();
  51.             ((Hashtable)this).put(var3, var4.get(var3));
  52.          }
  53.  
  54.          ((JSlider)((EventObject)var1).getSource()).setLabelTable(this);
  55.       }
  56.  
  57.    }
  58.  
  59.    void createLabels() {
  60.       for(int var1 = this.start; var1 <= this.this$0.getMaximum(); var1 += this.increment) {
  61.          ((Hashtable)this).put(new Integer(var1), new JSlider.1.SmartHashtable.LabelUIResource(this, "" + var1, 0));
  62.       }
  63.  
  64.    }
  65. }
  66.