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 / Dimension.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  1.4 KB  |  75 lines
  1. package java.awt;
  2.  
  3. import java.awt.geom.Dimension2D;
  4. import java.io.Serializable;
  5.  
  6. public class Dimension extends Dimension2D implements Serializable {
  7.    public int width;
  8.    public int height;
  9.    private static final long serialVersionUID = 4723952579491349524L;
  10.  
  11.    private static native void initIDs();
  12.  
  13.    public Dimension() {
  14.       this(0, 0);
  15.    }
  16.  
  17.    public Dimension(Dimension var1) {
  18.       this(var1.width, var1.height);
  19.    }
  20.  
  21.    public Dimension(int var1, int var2) {
  22.       this.width = var1;
  23.       this.height = var2;
  24.    }
  25.  
  26.    public double getWidth() {
  27.       return (double)this.width;
  28.    }
  29.  
  30.    public double getHeight() {
  31.       return (double)this.height;
  32.    }
  33.  
  34.    public void setSize(double var1, double var3) {
  35.       var1 = (double)((int)Math.ceil(var1));
  36.       var3 = (double)((int)Math.ceil(var3));
  37.    }
  38.  
  39.    public Dimension getSize() {
  40.       return new Dimension(this.width, this.height);
  41.    }
  42.  
  43.    public void setSize(Dimension var1) {
  44.       this.setSize(var1.width, var1.height);
  45.    }
  46.  
  47.    public void setSize(int var1, int var2) {
  48.       this.width = var1;
  49.       this.height = var2;
  50.    }
  51.  
  52.    public boolean equals(Object var1) {
  53.       if (!(var1 instanceof Dimension)) {
  54.          return false;
  55.       } else {
  56.          Dimension var2 = (Dimension)var1;
  57.          return this.width == var2.width && this.height == var2.height;
  58.       }
  59.    }
  60.  
  61.    public int hashCode() {
  62.       int var1 = this.width + this.height;
  63.       return var1 * (var1 + 1) / 2 + this.width;
  64.    }
  65.  
  66.    public String toString() {
  67.       return this.getClass().getName() + "[width=" + this.width + ",height=" + this.height + "]";
  68.    }
  69.  
  70.    static {
  71.       Toolkit.loadLibraries();
  72.       initIDs();
  73.    }
  74. }
  75.