| /* Copyright (C) 1999, 2000, 2002 Free Software Foundation |
| |
| This file is part of GNU Classpath. |
| |
| GNU Classpath is free software; you can redistribute it and/or modify |
| it under the terms of the GNU General Public License as published by |
| the Free Software Foundation; either version 2, or (at your option) |
| any later version. |
| |
| GNU Classpath is distributed in the hope that it will be useful, but |
| WITHOUT ANY WARRANTY; without even the implied warranty of |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with GNU Classpath; see the file COPYING. If not, write to the |
| Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA |
| 02111-1307 USA. |
| |
| Linking this library statically or dynamically with other modules is |
| making a combined work based on this library. Thus, the terms and |
| conditions of the GNU General Public License cover the whole |
| combination. |
| |
| As a special exception, the copyright holders of this library give you |
| permission to link this library with independent modules to produce an |
| executable, regardless of the license terms of these independent |
| modules, and to copy and distribute the resulting executable under |
| terms of your choice, provided that you also meet, for each linked |
| independent module, the terms and conditions of the license of that |
| module. An independent module is a module which is not derived from |
| or based on this library. If you modify this library, you may extend |
| this exception to your version of the library, but you are not |
| obligated to do so. If you do not wish to do so, delete this |
| exception statement from your version. */ |
| |
| |
| package java.awt; |
| |
| /* 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. |
| */ |
| |
| /** |
| * This class holds a width and height value pair. |
| * |
| * @author Per Bothner <bothner@cygnus.com> |
| * @author Aaron M. Renn (arenn@urbanophile.com) |
| * @date Fenruary 8, 1999. |
| */ |
| public class Dimension extends java.awt.geom.Dimension2D |
| implements java.io.Serializable |
| { |
| /** |
| * This width of this object. |
| */ |
| public int width; |
| |
| /** |
| * The height of this object. |
| */ |
| public int height; |
| |
| /** |
| * Initializes a new instance of <code>Dimension</code> with a width |
| * and height of zero. |
| */ |
| public Dimension () { } |
| |
| /** |
| * Initializes a new instance of <code>Dimension</code> to have a width |
| * and height identical to that of the specified dimension object. |
| * |
| * @param dim The <code>Dimension</code> to take the width and height from. |
| */ |
| public Dimension (Dimension dim) |
| { |
| this.width = dim.width; |
| this.height = dim.height; |
| } |
| |
| /** |
| * Initializes a new instance of <code>Dimension</code> with the |
| * specified width and height. |
| * |
| * @param width The width of this object. |
| * @param height The height of this object. |
| */ |
| public Dimension (int width, int height) |
| { |
| this.width = width; |
| this.height = height; |
| } |
| |
| /** |
| * Tests this object for equality against the specified object. This will |
| * be true if and only if the specified object: |
| * <p> |
| * <ul> |
| * <li>Is not <code>null</code>. |
| * <li>Is an instance of <code>Dimension</code>. |
| * <li>Has width and height values identical to this object. |
| * </ul> |
| * |
| * @param obj The object to test against. |
| * |
| * @return <code>true</code> if the specified object is equal to this |
| * object, <code>false</code> otherwise. |
| */ |
| public boolean equals (Object obj) |
| { |
| if (! (obj instanceof Dimension)) |
| return false; |
| Dimension dim = (Dimension) obj; |
| return height == dim.height && width == dim.width; |
| } |
| |
| /** |
| * Returns the size of this object. Not very useful. |
| * |
| * @return This object. |
| */ |
| public Dimension getSize () { return new Dimension(this); } |
| |
| /** |
| * Sets the width and height of this object to match that of the |
| * specified object. |
| * |
| * @param dim The <code>Dimension</code> object to get the new width and |
| * height from. |
| */ |
| public void setSize (Dimension dim) |
| { |
| this.width = dim.width; |
| this.height = dim.height; |
| } |
| |
| /** |
| * Sets the width and height of this object to the specified values. |
| * |
| * @param width The new width value. |
| * @param height The new height value. |
| */ |
| public void setSize (int width, int height) |
| { |
| this.width = width; |
| this.height = height; |
| } |
| |
| /** |
| * Returns a string representation of this object. |
| * |
| * @return A string representation of this object. |
| */ |
| 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; |
| } |
| } |