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 / awt / ScrollPaneAdjustable.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  3.1 KB  |  130 lines
  1. package java.awt;
  2.  
  3. import java.awt.event.AdjustmentEvent;
  4. import java.awt.event.AdjustmentListener;
  5. import java.awt.peer.ScrollPanePeer;
  6. import java.io.Serializable;
  7.  
  8. class ScrollPaneAdjustable implements Adjustable, Serializable {
  9.    // $FF: renamed from: sp java.awt.ScrollPane
  10.    private ScrollPane field_0;
  11.    private int orientation;
  12.    private int minimum;
  13.    private int maximum;
  14.    private int visibleAmount;
  15.    private int unitIncrement = 1;
  16.    private int blockIncrement = 1;
  17.    private int value;
  18.    private AdjustmentListener adjustmentListener;
  19.    private static final String SCROLLPANE_ONLY = "Can be set by scrollpane only";
  20.    private static final long serialVersionUID = -3359745691033257079L;
  21.  
  22.    private static native void initIDs();
  23.  
  24.    public ScrollPaneAdjustable(ScrollPane var1, AdjustmentListener var2, int var3) {
  25.       this.field_0 = var1;
  26.       this.orientation = var3;
  27.       this.addAdjustmentListener(var2);
  28.    }
  29.  
  30.    void setSpan(int var1, int var2, int var3) {
  31.       this.minimum = var1;
  32.       this.maximum = Math.max(var2, this.minimum + 1);
  33.       this.visibleAmount = Math.min(var3, this.maximum - this.minimum);
  34.       this.visibleAmount = Math.max(this.visibleAmount, 1);
  35.       this.blockIncrement = Math.max((int)((double)var3 * 0.9), 1);
  36.       this.setValue(this.value);
  37.    }
  38.  
  39.    public int getOrientation() {
  40.       return this.orientation;
  41.    }
  42.  
  43.    public void setMinimum(int var1) {
  44.       throw new AWTError("Can be set by scrollpane only");
  45.    }
  46.  
  47.    public int getMinimum() {
  48.       return 0;
  49.    }
  50.  
  51.    public void setMaximum(int var1) {
  52.       throw new AWTError("Can be set by scrollpane only");
  53.    }
  54.  
  55.    public int getMaximum() {
  56.       return this.maximum;
  57.    }
  58.  
  59.    public synchronized void setUnitIncrement(int var1) {
  60.       if (var1 != this.unitIncrement) {
  61.          this.unitIncrement = var1;
  62.          if (this.field_0.peer != null) {
  63.             ScrollPanePeer var2 = (ScrollPanePeer)this.field_0.peer;
  64.             var2.setUnitIncrement(this, var1);
  65.          }
  66.       }
  67.  
  68.    }
  69.  
  70.    public int getUnitIncrement() {
  71.       return this.unitIncrement;
  72.    }
  73.  
  74.    public synchronized void setBlockIncrement(int var1) {
  75.       this.blockIncrement = var1;
  76.    }
  77.  
  78.    public int getBlockIncrement() {
  79.       return this.blockIncrement;
  80.    }
  81.  
  82.    public void setVisibleAmount(int var1) {
  83.       throw new AWTError("Can be set by scrollpane only");
  84.    }
  85.  
  86.    public int getVisibleAmount() {
  87.       return this.visibleAmount;
  88.    }
  89.  
  90.    public void setValue(int var1) {
  91.       var1 = Math.max(var1, this.minimum);
  92.       var1 = Math.min(var1, this.maximum - this.visibleAmount);
  93.       if (var1 != this.value) {
  94.          this.value = var1;
  95.          AdjustmentEvent var2 = new AdjustmentEvent(this, 601, 5, this.value);
  96.          this.adjustmentListener.adjustmentValueChanged(var2);
  97.       }
  98.  
  99.    }
  100.  
  101.    public int getValue() {
  102.       return this.value;
  103.    }
  104.  
  105.    public synchronized void addAdjustmentListener(AdjustmentListener var1) {
  106.       if (var1 != null) {
  107.          this.adjustmentListener = AWTEventMulticaster.add(this.adjustmentListener, var1);
  108.       }
  109.    }
  110.  
  111.    public synchronized void removeAdjustmentListener(AdjustmentListener var1) {
  112.       if (var1 != null) {
  113.          this.adjustmentListener = AWTEventMulticaster.remove(this.adjustmentListener, var1);
  114.       }
  115.    }
  116.  
  117.    public String toString() {
  118.       return this.getClass().getName() + "[" + this.paramString() + "]";
  119.    }
  120.  
  121.    public String paramString() {
  122.       return (this.orientation == 1 ? "vertical," : "horizontal,") + "[0.." + this.maximum + "]," + "val=" + this.value + ",vis=" + this.visibleAmount + ",unit=" + this.unitIncrement + ",block=" + this.blockIncrement;
  123.    }
  124.  
  125.    static {
  126.       Toolkit.loadLibraries();
  127.       initIDs();
  128.    }
  129. }
  130.