1 /*******************************************************************************
\r
2 * Copyright (c) 2007, 2010 Association for Decentralized Information Management
\r
3 * in Industry THTH ry.
\r
4 * All rights reserved. This program and the accompanying materials
\r
5 * are made available under the terms of the Eclipse Public License v1.0
\r
6 * which accompanies this distribution, and is available at
\r
7 * http://www.eclipse.org/legal/epl-v10.html
\r
10 * VTT Technical Research Centre of Finland - initial API and implementation
\r
11 *******************************************************************************/
\r
15 package org.simantics.utils.ui.gfx;
\r
17 import java.awt.Dimension;
\r
23 * @author Toni Kalajainen
\r
25 public class PixelDimension {
\r
27 public final int width;
\r
29 public final int height;
\r
31 public PixelDimension(int width, int height) {
\r
33 this.height = height;
\r
36 public PixelDimension(PixelDimension d) {
\r
37 this(d.width, d.height);
\r
40 public PixelDimension(Dimension d) {
\r
41 this(d.width, d.height);
\r
44 public int getHeight() {
\r
48 public int getWidth() {
\r
52 public boolean equals(Object obj) {
\r
53 if (!(obj instanceof PixelDimension))
\r
55 PixelDimension d = (PixelDimension) obj;
\r
56 return (width == d.width) && (height == d.height);
\r
59 public int hashCode() {
\r
60 int sum = width+height;
\r
61 return sum*(sum+1)/2 + width;
\r
65 public String toString() {
\r
66 return "PixelDimension [w=" + width + ", h=" + height + "]";
\r
70 * returns aspect ratio (width / height)
\r
71 * @return returns aspect ratio (width / height)
\r
73 public double getAspectRatio()
\r
75 return (double)width / (double)height;
\r