home *** CD-ROM | disk | FTP | other *** search
Java Source | 1996-05-03 | 2.2 KB | 86 lines |
- /*
- * @(#)Insets.java 1.8 95/12/01 Arthur van Hoff
- *
- * Copyright (c) 1995 Sun Microsystems, Inc. All Rights Reserved.
- *
- * Permission to use, copy, modify, and distribute this software
- * and its documentation for NON-COMMERCIAL purposes and without
- * fee is hereby granted provided that this copyright notice
- * appears in all copies. Please refer to the file "copyright.html"
- * for further important copyright and licensing information.
- *
- * SUN MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF
- * THE SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED
- * TO THE IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
- * PARTICULAR PURPOSE, OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR
- * ANY DAMAGES SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING OR
- * DISTRIBUTING THIS SOFTWARE OR ITS DERIVATIVES.
- */
-
- package java.awt;
-
- /**
- * The insets of a container.
- * This class is used to layout containers.
- *
- * @see LayoutManager
- * @see Container
- *
- * @version 1.8, 01 Dec 1995
- * @author Arthur van Hoff
- * @author Sami Shaio
- */
- public class Insets implements Cloneable {
-
- /**
- * The inset from the top.
- */
- public int top;
-
- /**
- * The inset from the left.
- */
- public int left;
-
- /**
- * The inset from the bottom.
- */
- public int bottom;
-
- /**
- * The inset from the right.
- */
- public int right;
-
- /**
- * Constructs and initializes a new Inset with the specified top,
- * left, bottom, and right insets.
- * @param top the inset from the top
- * @param left the inset from the left
- * @param bottom the inset from the bottom
- * @param right the inset from the right
- */
- public Insets(int top, int left, int bottom, int right) {
- this.top = top;
- this.left = left;
- this.bottom = bottom;
- this.right = right;
- }
-
- /**
- * Returns a String object representing this Inset's values.
- */
- public String toString() {
- return getClass().getName() + "[top=" + top + ",left=" + left + ",bottom=" + bottom + ",right=" + right + "]";
- }
-
- public Object clone() {
- try {
- return super.clone();
- } catch (CloneNotSupportedException e) {
- // this shouldn't happen, since we are Cloneable
- throw new InternalError();
- }
- }
- }
-