annotate servlet/src/digilib/io/FileOps.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 f4a5cfe37469
children 67ff8c7fecb9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 64
diff changeset
1 /* FileOps -- Utility class for file operations
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
2
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
3 Digital Image Library servlet components
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
4
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
5 Copyright (C) 2001, 2002 Robert Casties (robcast@mail.berlios.de)
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
6
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
7 This program is free software; you can redistribute it and/or modify it
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
8 under the terms of the GNU General Public License as published by the
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
9 Free Software Foundation; either version 2 of the License, or (at your
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
10 option) any later version.
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
11
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
12 Please read license.txt for the full details. A copy of the GPL
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
13 may be found at http://www.gnu.org/copyleft/lgpl.html
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
14
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
15 You should have received a copy of the GNU General Public License
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
16 along with this program; if not, write to the Free Software
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
17 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
18
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
19 */
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
20
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
21 package digilib.io;
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
22
159
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
23 import java.io.File;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
24 import java.io.FileFilter;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
25 import java.util.Arrays;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
26 import java.util.Iterator;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
27 import java.util.StringTokenizer;
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
28
159
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
29 import digilib.Utils;
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
30
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
31 public class FileOps {
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
32
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
33 private Utils util = null;
159
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
34
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
35 public static String[] fileTypes =
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
36 {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
37 "jpg",
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
38 "image/jpeg",
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
39 "jpeg",
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
40 "image/jpeg",
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
41 "jp2",
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
42 "image/jp2",
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
43 "png",
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
44 "image/png",
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
45 "gif",
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
46 "image/gif",
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
47 "tif",
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
48 "image/tiff",
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
49 "tiff",
159
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
50 "image/tiff",
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
51 "txt",
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
52 "text/plain",
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
53 "html",
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
54 "text/html",
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
55 "htm",
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
56 "text/html",
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
57 "xml",
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
58 "text/xml" };
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
59
159
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
60 public static String[] imageExtensions =
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
61 { "jpg", "jpeg", "jp2", "png", "gif", "tif", "tiff" };
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
62
159
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
63 public static String[] textExtensions =
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
64 { "txt", "html", "htm", "xml"};
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
65
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
66 public static final int CLASS_NONE = -1;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
67 public static final int CLASS_IMAGE = 0;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
68 public static final int CLASS_TEXT = 1;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
69 public static final int NUM_CLASSES = 2;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
70
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
71
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
72 public FileOps() {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
73 util = new Utils();
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
74 }
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
75
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
76 public FileOps(Utils u) {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
77 util = u;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
78 }
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
79
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
80 public void setUtils(Utils u) {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
81 util = u;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
82 }
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
83
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
84 /**
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
85 * get the mime type for a file format (by extension)
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
86 */
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
87 public static String mimeForFile(File f) {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
88 String fn = f.getName();
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
89 for (int i = 0; i < fileTypes.length; i += 2) {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
90 if (fn.toLowerCase().endsWith(fileTypes[i])) {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
91 return fileTypes[i + 1];
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
92 }
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
93 }
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
94 return null;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
95 }
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
96
159
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
97 /**
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
98 * get the file class for the filename (by extension)
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
99 * @param fn
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
100 * @return
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
101 */
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
102 public static int classForFilename(String fn) {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
103 int n = imageExtensions.length;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
104 for (int i = 0; i < n; i ++) {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
105 if (fn.toLowerCase().endsWith(imageExtensions[i])) {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
106 return CLASS_IMAGE;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
107 }
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
108 }
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
109 n = textExtensions.length;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
110 for (int i = 0; i < n; i ++) {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
111 if (fn.toLowerCase().endsWith(textExtensions[i])) {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
112 return CLASS_TEXT;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
113 }
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
114 }
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
115 return CLASS_NONE;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
116
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
117 }
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
118
159
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
119 public static Iterator getImageExtensionIterator() {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
120 return Arrays.asList(imageExtensions).iterator();
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
121 }
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
122
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
123 public static Iterator getTextExtensionIterator() {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
124 return Arrays.asList(textExtensions).iterator();
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
125 }
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
126
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
127 /**
152
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
128 * convert a string with a list of pathnames into an array of strings
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
129 * using the system's path separator string
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
130 */
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
131 public static String[] pathToArray(String paths) {
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
132 // split list into directories
159
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
133 StringTokenizer dirs = new StringTokenizer(paths, File.pathSeparator);
152
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
134 int n = dirs.countTokens();
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
135 if (n < 1) {
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
136 return null;
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
137 }
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
138 // add directories into array
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
139 String[] pathArray = new String[n];
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
140 for (int i = 0; i < n; i++) {
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
141 String s = dirs.nextToken();
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
142 // make shure the dir name ends with a directory separator
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
143 if (s.endsWith(File.separator)) {
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
144 pathArray[i] = s;
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
145 } else {
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
146 pathArray[i] = s + File.separator;
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
147 }
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
148 }
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
149 return pathArray;
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
150 }
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
151
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 91
diff changeset
152 /**
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
153 * FileFilter for image types (helper class for getFile)
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
154 */
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
155 static class ImageFileFilter implements FileFilter {
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
156
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
157 public boolean accept(File f) {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
158 if (f.isFile()) {
159
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
159 return ((mimeForFile(f) != null)&&(mimeForFile(f).startsWith("image")));
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
160 } else {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
161 return false;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
162 }
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
163 }
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
164 }
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
165
159
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
166 /**
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
167 * FileFilter for text types (helper class for getFile)
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
168 */
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
169 static class TextFileFilter implements FileFilter {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
170
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
171 public boolean accept(File f) {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
172 if (f.isFile()) {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
173 return ((mimeForFile(f) != null)&&(mimeForFile(f).startsWith("text")));
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
174 } else {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
175 return false;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
176 }
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
177 }
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
178 }
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
179
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
180 /** Factory for FileFilters (image or text).
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
181 *
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
182 * @param fileClass
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
183 * @return
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
184 */
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
185 public static FileFilter filterForClass(int fileClass) {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
186 if (fileClass == CLASS_IMAGE) {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
187 return new ImageFileFilter();
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
188 }
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
189 if (fileClass == CLASS_TEXT) {
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
190 return new TextFileFilter();
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
191 }
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
192 return null;
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
193 }
e743b853efca servlet version 1.16a4
robcast
parents: 152
diff changeset
194
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
195 }