1 /*

     2  * Copyright 2003-2005 Sun Microsystems, Inc.  All Rights Reserved.

     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

     4  *

     5  * This code is free software; you can redistribute it and/or modify it

     6  * under the terms of the GNU General Public License version 2 only, as

     7  * published by the Free Software Foundation.  Sun designates this

     8  * particular file as subject to the "Classpath" exception as provided

     9  * by Sun in the LICENSE file that accompanied this code.

    10  *

    11  * This code is distributed in the hope that it will be useful, but WITHOUT

    12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

    13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

    14  * version 2 for more details (a copy is included in the LICENSE file that

    15  * accompanied this code).

    16  *

    17  * You should have received a copy of the GNU General Public License version

    18  * 2 along with this work; if not, write to the Free Software Foundation,

    19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

    20  *

    21  * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,

    22  * CA 95054 USA or visit www.sun.com if you need additional information or

    23  * have any questions.

    24  */

    25 package sun.awt.X11;

    26 

    27 import java.awt.*;

    28 

    29 class WindowDimensions {

    30     private Point loc;

    31     private Dimension size;

    32     private Insets insets;

    33     private boolean isClientSizeSet;

    34 

    35     public WindowDimensions(int x, int y, int width, int height, boolean isClient) {

    36         this(new Rectangle(x, y, width, height), null, isClient);

    37     }

    38 

    39     public WindowDimensions(Rectangle rec, Insets ins, boolean isClient) {

    40         if (rec == null) {

    41             throw new IllegalArgumentException("Client bounds can't be null");

    42         }

    43         isClientSizeSet = isClient;

    44         this.loc = rec.getLocation();

    45         this.size = rec.getSize();

    46         setInsets(ins);

    47     }

    48 

    49     public WindowDimensions(Point loc, Dimension size, Insets in, boolean isClient) {

    50         this(new Rectangle(loc, size), in, isClient);

    51     }

    52 

    53     public WindowDimensions(Rectangle bounds, boolean isClient) {

    54         this(bounds, null, isClient);

    55     }

    56 

    57     public WindowDimensions(final WindowDimensions dims) {

    58         this.loc = new Point(dims.loc);

    59         this.size = new Dimension(dims.size);

    60         this.insets = (dims.insets != null)?((Insets)dims.insets.clone()):new Insets(0, 0, 0, 0);

    61         this.isClientSizeSet = dims.isClientSizeSet;

    62     }

    63 

    64     public Rectangle getClientRect() {

    65         if (isClientSizeSet) {

    66             return new Rectangle(loc, size);

    67         } else {

    68             // Calculate client bounds

    69             if (insets != null) {

    70                 return new Rectangle(loc.x, loc.y,

    71                                      size.width-(insets.left+insets.right),

    72                                      size.height-(insets.top+insets.bottom));

    73             } else {

    74                 return new Rectangle(loc, size);

    75             }

    76         }

    77     }

    78 

    79     public void setClientSize(Dimension size) {

    80         this.size = new Dimension(size);

    81         isClientSizeSet = true;

    82     }

    83 

    84     public void setClientSize(int width, int height) {

    85         size = new Dimension(width, height);

    86         isClientSizeSet = true;

    87     }

    88 

    89     public Dimension getClientSize() {

    90         return getClientRect().getSize();

    91     }

    92 

    93     public void setSize(int width, int height) {

    94         size = new Dimension(width, height);

    95         isClientSizeSet = false;

    96     }

    97 

    98     public Dimension getSize() {

    99         return getBounds().getSize();

   100     }

   101 

   102     public Insets getInsets() {

   103         return (Insets)insets.clone();

   104     }

   105     public Rectangle getBounds() {

   106         if (isClientSizeSet) {

   107             Rectangle res = new Rectangle(loc, size);

   108             res.width += (insets.left + insets.right);

   109             res.height += (insets.top + insets.bottom);

   110             return res;

   111         } else {

   112             return new Rectangle(loc, size);

   113         }

   114     }

   115 

   116     public Point getLocation() {

   117         return new Point(loc);

   118     }

   119     public void setLocation(int x, int y) {

   120         loc = new Point(x, y);

   121     }

   122 

   123     public Rectangle getScreenBounds() {

   124         Dimension size = getClientSize();

   125         Point location = getLocation(); // this is Java location

   126         location.x += insets.left;

   127         location.y += insets.top;

   128         return new Rectangle(location, size);

   129     }

   130 

   131     public void setInsets(Insets in) {

   132         insets = (in != null)?((Insets)in.clone()):new Insets(0, 0, 0, 0);

   133         if (!isClientSizeSet) {

   134             if (size.width < (insets.left+insets.right)) {

   135                 size.width = (insets.left+insets.right);

   136             }

   137             if (size.height < (insets.top+insets.bottom)) {

   138                 size.height = (insets.top+insets.bottom);

   139             }

   140         }

   141     }

   142 

   143     public boolean isClientSizeSet() {

   144         return isClientSizeSet;

   145     }

   146 

   147     public String toString() {

   148         return "[" + loc + ", " + size + "(" +(isClientSizeSet?"client":"bounds") + ")+" + insets + "]";

   149     }

   150 

   151     public boolean equals(Object o) {

   152         if (!(o instanceof WindowDimensions)) {

   153             return false;

   154         }

   155         WindowDimensions dims = (WindowDimensions)o;

   156         return ((dims.insets.equals(insets)))

   157             && (getClientRect().equals(dims.getClientRect()))

   158             && (getBounds().equals(dims.getBounds()));

   159     }

   160 

   161     public int hashCode() {

   162         return ((insets == null)? (0):(insets.hashCode())) ^ getClientRect().hashCode() ^ getBounds().hashCode();

   163     }

   164 }