annotate servlet/src/digilib/io/DocuFile.java @ 158:e9a81ac446cb

added Texter servlet and relative paths
author robcast
date Tue, 16 Sep 2003 18:26:31 +0200
parents 04ad64b2137a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
1 /* DocuFile.java -- digilib image file class.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
2
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
3 Digital Image Library servlet components
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
4
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
5 Copyright (C) 2003 Robert Casties (robcast@mail.berlios.de)
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
6
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
7 This program is free software; you can redistribute it and/or modify it
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
8 under the terms of the GNU General Public License as published by the
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
9 Free Software Foundation; either version 2 of the License, or (at your
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
10 option) any later version.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
11
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
12 Please read license.txt for the full details. A copy of the GPL
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
13 may be found at http://www.gnu.org/copyleft/lgpl.html
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
14
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
15 You should have received a copy of the GNU General Public License
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
16 along with this program; if not, write to the Free Software
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
17 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
18
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
19 * Created on 25.02.2003
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
20 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
21
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
22 package digilib.io;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
23
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
24 import java.io.File;
122
a32e8c80e2f2 Servlet Version 1.10b1
robcast
parents: 86
diff changeset
25
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
26 import digilib.image.ImageSize;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
27
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
28 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
29 * @author casties
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
30 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
31 public class DocuFile {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
32
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
33 // file object
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
34 private String filename = null;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
35 // parent DocuFileset
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
36 private DocuFileset parent = null;
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
37 // parent directory
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
38 private Directory dir = null;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
39 // mime file type
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
40 private String mimetype = null;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
41 // image size in pixels
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
42 private ImageSize pixelSize = null;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
43
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
44 public DocuFile(String fn, DocuFileset parent, Directory dir) {
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
45 this.filename = fn;
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
46 this.parent = parent;
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
47 this.dir = dir;
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
48 }
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
49
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
50 public DocuFile(String fn) {
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
51 File f = new File(fn);
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
52 this.dir = new Directory(f.getParentFile());
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
53 this.filename = f.getName();
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
54 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
55
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
56 /** Returns the file name (without path).
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
57 *
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
58 * @return
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
59 */
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
60 public String getName() {
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
61 return filename;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
62 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
63
122
a32e8c80e2f2 Servlet Version 1.10b1
robcast
parents: 86
diff changeset
64
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
65 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
66 * @return File
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
67 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
68 public File getFile() {
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
69 File f = new File(dir.getDir(), filename);
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
70 return f;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
71 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
72
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
73 /**
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
74 * @return ImageSize
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
75 */
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
76 public ImageSize getSize() {
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
77 return pixelSize;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
78 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
79
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
80 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
81 * @return String
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
82 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
83 public String getMimetype() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
84 return mimetype;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
85 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
87 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
88 * Sets the imageSize.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
89 * @param imageSize The imageSize to set
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
90 */
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
91 public void setSize(ImageSize imageSize) {
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
92 this.pixelSize = imageSize;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
93 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
94
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
95 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
96 * Sets the mimetype.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
97 * @param mimetype The mimetype to set
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
98 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
99 public void setMimetype(String mimetype) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
100 this.mimetype = mimetype;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
101 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
102
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
103 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
104 * @return DocuFileset
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
105 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
106 public DocuFileset getParent() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
107 return parent;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
108 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
109
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
110 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
111 * Sets the parent.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
112 * @param parent The parent to set
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
113 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
114 public void setParent(DocuFileset parent) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
115 this.parent = parent;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
116 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
117
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
118 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
119 * @return boolean
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
120 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
121 public boolean isChecked() {
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
122 return (pixelSize != null);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
123 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
124
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
125 }