blob: 38ba32729cf1caea0c00071d31bf53e3adce16f9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
/* Copyright (C) 1999 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
{
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;
}
}
|
