annotate servlet/src/digilib/image/ImageSize.java @ 159:e743b853efca

servlet version 1.16a4 - rather experimental - new Texter servlet for sending text - reads and caches text files in DocuDirCache - DocuFile renamed to ImageFile (-Set) - new TextFile
author robcast
date Tue, 16 Sep 2003 18:32:00 +0200
parents 04ad64b2137a
children d40922628e4a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
159
e743b853efca servlet version 1.16a4
robcast
parents: 149
diff changeset
1 /* ImageFile.java -- digilib image file class.
149
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
2
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
3 Digital Image Library servlet components
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
4
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
5 Copyright (C) 2003 Robert Casties (robcast@mail.berlios.de)
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
6
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
7 This program is free software; you can redistribute it and/or modify it
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
8 under the terms of the GNU General Public License as published by the
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
9 Free Software Foundation; either version 2 of the License, or (at your
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
10 option) any later version.
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
11
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
12 Please read license.txt for the full details. A copy of the GPL
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
13 may be found at http://www.gnu.org/copyleft/lgpl.html
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
14
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
15 You should have received a copy of the GNU General Public License
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
16 along with this program; if not, write to the Free Software
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
17 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
18
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
19 * Created on 26.08.2003
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
20 */
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
21
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
22 package digilib.image;
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
23
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
24 /** Class for image size (width, height).
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
25 *
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
26 * @author casties
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
27 *
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
28 */
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
29 public class ImageSize {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
30 public int width;
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
31 public int height;
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
32
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
33 public ImageSize() {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
34 super();
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
35 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
36
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
37 public ImageSize(int width, int height) {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
38 this.width = width;
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
39 this.height = height;
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
40 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
41
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
42 public ImageSize(ImageSize i) {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
43 this.width = i.width;
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
44 this.height = i.height;
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
45 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
46
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
47 public void setSize(int width, int height) {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
48 this.width = width;
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
49 this.height = height;
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
50 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
51
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
52 /** Returns if the size of this image is smaller in every dimension than the other image.
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
53 *
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
54 * @param is
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
55 * @return
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
56 */
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
57 public boolean isTotallySmallerThan(ImageSize is) {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
58 return ((this.width <= is.width) && (this.height <= is.height));
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
59 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
60
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
61 /** Returns if the size of this image is smaller in at least one dimension than the other image.
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
62 *
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
63 * @param is
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
64 * @return
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
65 */
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
66 public boolean isSmallerThan(ImageSize is) {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
67 return ((this.width <= is.width) || (this.height <= is.height));
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
68 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
69
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
70 /** Returns if the size of this image is bigger in every dimension than the other image.
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
71 *
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
72 * @param is
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
73 * @return
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
74 */
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
75 public boolean isTotallyBiggerThan(ImageSize is) {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
76 return ((this.width >= is.width) && (this.height >= is.height));
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
77 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
78
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
79 /** Returns if the size of this image is bigger in at least one dimension than the other image.
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
80 *
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
81 * @param is
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
82 * @return
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
83 */
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
84 public boolean isBiggerThan(ImageSize is) {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
85 return ((this.width >= is.width) || (this.height >= is.height));
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
86 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
87
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
88 /** Returns if this image has the same size or height as the other image.
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
89 *
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
90 * @param is
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
91 * @return
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
92 */
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
93 public boolean fitsIn(ImageSize is) {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
94 return ((this.width == is.width)&&(this.height <= is.height)
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
95 ||(this.width <= is.width)&&(this.height == is.height));
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
96 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
97
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
98 /** Returns if the size of this image is the same as the other image.
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
99 *
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
100 * @param is
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
101 * @return
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
102 */
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
103 public boolean equals(ImageSize is) {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
104 return ((this.width == is.width)&&(this.height == is.height));
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
105 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
106
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
107 /**
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
108 * @return
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
109 */
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
110 public int getHeight() {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
111 return height;
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
112 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
113
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
114 /**
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
115 * @param height
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
116 */
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
117 public void setHeight(int height) {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
118 this.height = height;
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
119 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
120
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
121 /**
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
122 * @return
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
123 */
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
124 public int getWidth() {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
125 return width;
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
126 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
127
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
128 /**
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
129 * @param width
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
130 */
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
131 public void setWidth(int width) {
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
132 this.width = width;
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
133 }
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
134
04ad64b2137a Servlet version 1.14b1
robcast
parents:
diff changeset
135 }