| /* Copyright (C) 1999, 2000 Free Software Foundation |
| |
| This file is part of libjava. |
| |
| This software is copyrighted work licensed under the terms of the |
| Libjava License. Please consult the file "LIBJAVA_LICENSE" for |
| details. */ |
| |
| package java.awt; |
| |
| /** |
| * @author Per Bothner <bothner@cygnus.com> |
| * @date Fenruary 8, 1999. |
| */ |
| |
| /* Written using "Java Class Libraries", 2nd edition, plus online |
| * API docs for JDK 1.2 beta from http://www.javasoft.com. |
| * Status: Believed complete and correct, except that neither toString |
| * has not been compared with JDK output. |
| */ |
| |
| public class Dimension extends java.awt.geom.Dimension2D |
| implements java.io.Serializable |
| { |
| public int height; |
| public int width; |
| |
| public Dimension () { } |
| |
| public Dimension (Dimension dim) |
| { |
| this.width = dim.width; |
| this.height = dim.height; |
| } |
| |
| public Dimension (int width, int height) |
| { |
| this.width = width; |
| this.height = height; |
| } |
| |
| public boolean equals (Object obj) |
| { |
| if (! (obj instanceof Dimension)) |
| return false; |
| Dimension dim = (Dimension) obj; |
| return height == dim.height && width == dim.width; |
| } |
| |
| public Dimension getSize () { return new Dimension(this); } |
| |
| public void setSize (Dimension dim) |
| { |
| this.width = dim.width; |
| this.height = dim.height; |
| } |
| |
| public void setSize (int width, int height) |
| { |
| this.width = width; |
| this.height = height; |
| } |
| |
| public String toString () |
| { |
| return "Dimension[w:"+width+",h:"+height+']'; |
| } |
| |
| /* Note: There is no Dimension.hashCode. */ |
| |
| public double getWidth() { return width; } |
| public double getHeight() { return height; } |
| |
| public void setSize (double width, double height) |
| { |
| this.width = (int) width; |
| this.height = (int) height; |
| } |
| } |