annotate servlet/src/digilib/io/DocuDirectory.java @ 152:f4a5cfe37469

Servlet version 1.16a1 - cleanup of DigilibConfig class - now uses new Parameter and ParameterMap classes - new parameter default-quality
author robcast
date Wed, 03 Sep 2003 00:54:38 +0200
parents bc8df0133c04
children 688ad0b8b0fa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
1 /* DocuDirectory -- Directory of DocuFilesets.
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;
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
25 import java.io.IOException;
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
26 import java.util.ArrayList;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
27 import java.util.Arrays;
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
28 import java.util.HashMap;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
29 import java.util.Iterator;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
30
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
31 import org.xml.sax.SAXException;
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
32
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
33 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
34 * @author casties
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
35 */
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
36 public class DocuDirectory extends Directory {
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
37
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
38 // list of files (DocuFileSet)
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
39 private ArrayList list = null;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
40 // directory object is valid (has been read)
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
41 private boolean isValid = false;
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
42 // reference of the parent DocuDirCache
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
43 private DocuDirCache cache = null;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
44 // directory name (digilib canonical form)
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
45 private String dirName = null;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
46 // directory metadata
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
47 private HashMap dirMeta = null;
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
48 // unresolved file metadata
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
49 private HashMap unresolvedFileMeta = null;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
50 // time of last access of this object (not the filesystem)
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
51 private long objectATime = 0;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
52 // time the file system directory was last modified
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
53 private long dirMTime = 0;
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
54
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
55
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
56 /*
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
57 * constructors
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
58 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
59
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
60 /** Constructor with directory path and set of base directories.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
61 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
62 * Reads the directory at the given path appended to the base directories.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
63 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
64 * @see readDir
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
65 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
66 * @param path digilib directory path name
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
67 * @param bd array of base directory names
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
68 */
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
69 public DocuDirectory(String path, DocuDirCache cache) {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
70 this.dirName = path;
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
71 this.cache = cache;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
72 readDir();
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
73 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
74
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
75 /*
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
76 * other stuff
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
77 */
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
78
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
79 /** The digilib name of the parent directory.
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
80 *
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
81 * Returns null if there is no parent.
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
82 */
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
83 public String getParentDirName() {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
84 String s = null;
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
85 int lastidx = dirName.lastIndexOf("/");
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
86 if (lastidx > 0) {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
87 s = dirName.substring(0, lastidx);
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
88 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
89 return s;
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
90 }
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
91
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
92 /** number of DocuFiles in this directory.
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
93 *
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
94 */
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
95 public int size() {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
96 return (list != null) ? list.size() : 0;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
97 }
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
98
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
99 /** Returns the DocuFile at the index.
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
100 *
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
101 * @param index
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
102 * @return
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
103 */
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
104 public DocuFileset get(int index) {
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
105 if ((list == null) || (index >= list.size())) {
122
a32e8c80e2f2 Servlet Version 1.10b1
robcast
parents: 91
diff changeset
106 return null;
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
107 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
108 return (DocuFileset) list.get(index);
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
109 }
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
110
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
111 /** Read the filesystem directory and fill this object.
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
112 *
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
113 * Clears the List and (re)reads all files.
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
114 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
115 * @return boolean the directory exists
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
116 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
117 public boolean readDir() {
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
118 String[] baseDirNames = cache.getBaseDirNames();
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
119 // first file extension to try for scaled directories
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
120 String fext = null;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
121 // clear directory first
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
122 list = null;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
123 isValid = false;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
124 // number of base dirs
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
125 int nb = baseDirNames.length;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
126 // array of base dirs
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
127 Directory[] dirs = new Directory[nb];
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
128 // the first directory has to exist
152
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 151
diff changeset
129 dir = new File(baseDirNames[0], dirName);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
130
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
131 if (dir.isDirectory()) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
132 // fill array with the remaining directories
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
133 for (int j = 1; j < nb; j++) {
152
f4a5cfe37469 Servlet version 1.16a1
robcast
parents: 151
diff changeset
134 File d = new File(baseDirNames[j], dirName);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
135 if (d.isDirectory()) {
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
136 dirs[j] = new Directory(d);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
137 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
138 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
139
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
140 File[] fl = dir.listFiles(new FileOps.ImageFileFilter());
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
141 if (fl == null) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
142 // not a directory
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
143 return false;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
144 }
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
145 // number of image files in the directory
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
146 int nf = fl.length;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
147 if (nf > 0) {
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
148 // create new list
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
149 list = new ArrayList(nf);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
150
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
151 // sort the file names alphabetically and iterate the list
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
152 Arrays.sort(fl);
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
153 for (int i = 0; i < nf; i++) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
154 String fn = fl[i].getName();
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
155 String fnx = fn.substring(0, fn.lastIndexOf('.') + 1);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
156 // add the first DocuFile to a new DocuFileset
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
157 DocuFileset fs = new DocuFileset(nb);
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
158 fs.add(new DocuFile(fn, fs, this));
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
159 // iterate the remaining base directories
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
160 for (int j = 1; j < nb; j++) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
161 if (dirs[j] == null) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
162 continue;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
163 }
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
164 File f;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
165 if (fext != null) {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
166 // use the last extension
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
167 f = new File(dirs[j].getDir(), fnx + fext);
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
168 } else {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
169 // try the same filename as the original
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
170 f = new File(dirs[j].getDir(), fn);
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
171 }
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
172 // if the file exists, add to the DocuFileset
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
173 if (f.canRead()) {
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
174 fs.add(new DocuFile(f.getName(), fs, dirs[j]));
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
175 } else {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
176 // try other file extensions
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
177 Iterator exts = FileOps.getImageExtensionIterator();
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
178 while (exts.hasNext()) {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
179 String s = (String) exts.next();
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
180 f = new File(dirs[j].getDir(), fnx + s);
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
181 // if the file exists, add to the DocuFileset
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
182 if (f.canRead()) {
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
183 fs.add(
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
184 new DocuFile(f.getName(), fs, dirs[j]));
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
185 fext = s;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
186 break;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
187 }
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
188 }
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
189 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
190 }
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
191 // add the fileset to our list
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
192 list.add(fs);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
193 fs.setParent(this);
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
194 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
195 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
196 dirMTime = dir.lastModified();
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
197 isValid = true;
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
198 // read metadata as well
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
199 readMeta();
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
200 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
201 return isValid;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
202
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
203 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
204
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
205 /** Check to see if the directory has been modified and reread if necessary.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
206 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
207 * @return boolean the directory is valid
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
208 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
209 public boolean refresh() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
210 if (isValid) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
211 if (dir.lastModified() > dirMTime) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
212 // on-disk modification time is more recent
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
213 readDir();
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
214 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
215 touch();
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
216 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
217 return isValid;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
218 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
219
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
220 /** Read directory metadata.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
221 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
222 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
223 public void readMeta() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
224 // check for directory metadata...
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
225 File mf = new File(dir, "index.meta");
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
226 if (mf.canRead()) {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
227 XMLMetaLoader ml = new XMLMetaLoader();
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
228 try {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
229 // read directory meta file
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
230 HashMap fileMeta = ml.loadURL(mf.getAbsolutePath());
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
231 if (fileMeta == null) {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
232 return;
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
233 }
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
234 // meta for the directory itself is in the "" bin
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
235 dirMeta = (HashMap) fileMeta.remove("");
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
236 // read meta for files in this directory
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
237 readFileMeta(fileMeta, null);
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
238 // is there meta for other files left?
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
239 if (fileMeta.size() > 0) {
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
240 unresolvedFileMeta = fileMeta;
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
241 }
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
242 } catch (SAXException e) {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
243 // TODO Auto-generated catch block
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
244 e.printStackTrace();
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
245 } catch (IOException e) {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
246 // TODO Auto-generated catch block
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
247 e.printStackTrace();
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
248 }
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
249 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
250 readParentMeta();
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
251 }
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
252
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
253 /** Read metadata from all known parent directories.
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
254 *
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
255 */
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
256 public void readParentMeta() {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
257 // check the parent directories for additional file meta
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
258 Directory dd = parent;
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
259 String path = dir.getName() ;
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
260 while (dd != null) {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
261 if (((DocuDirectory)dd).hasUnresolvedFileMeta()) {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
262 readFileMeta(((DocuDirectory)dd).unresolvedFileMeta, path);
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
263 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
264 // prepend parent dir path
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
265 path = dd.dir.getName() + "/" + path;
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
266 // become next parent
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
267 dd = dd.parent;
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
268 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
269 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
270
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
271 /** Read metadata for the files in this directory.
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
272 *
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
273 * Takes a HashMap with meta-information, adding the relative path
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
274 * before the lookup.
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
275 *
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
276 * @param fileMeta
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
277 * @param relPath
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
278 */
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
279 public void readFileMeta(HashMap fileMeta, String relPath) {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
280 if (list == null) {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
281 // there are no files
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
282 return;
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
283 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
284 String path = (relPath != null) ? (relPath + "/") : "";
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
285 // iterate through the list of files in this directory
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
286 for (Iterator i = list.iterator(); i.hasNext();) {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
287 DocuFileset df = (DocuFileset) i.next();
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
288 // prepend path to the filename
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
289 String fn = path + df.getName();
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
290 // look up meta for this file and remove from dir
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
291 HashMap meta = (HashMap) fileMeta.remove(fn);
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
292 if (meta != null) {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
293 // store meta in file
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
294 df.setFileMeta(meta);
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
295 }
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
296 }
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
297 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
298
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
299 /** Update access time.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
300 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
301 * @return long time of last access.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
302 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
303 public long touch() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
304 long t = objectATime;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
305 objectATime = System.currentTimeMillis();
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
306 return t;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
307 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
308
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
309 /** Searches for the file with the name <code>fn</code>.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
310 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
311 * Searches the directory for the file with the name <code>fn</code> and returns
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
312 * its index. Returns -1 if the file cannot be found.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
313 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
314 * @param fn filename
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
315 * @return int index of file <code>fn</code>
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
316 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
317 public int indexOf(String fn) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
318 // linear search -> worst performance
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
319 int n = list.size();
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
320 for (int i = 0; i < n; i++) {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
321 DocuFileset fs = (DocuFileset) list.get(i);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
322 if (fs.getName().equals(fn)) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
323 return i;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
324 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
325 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
326 return -1;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
327 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
328
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
329 /** Finds the DocuFileset with the name <code>fn</code>.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
330 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
331 * Searches the directory for the DocuFileset with the name <code>fn</code> and returns
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
332 * it. Returns null if the file cannot be found.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
333 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
334 * @param fn filename
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
335 * @return DocuFileset
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
336 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
337 public DocuFileset find(String fn) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
338 int i = indexOf(fn);
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
339 if (i >= 0) {
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
340 return (DocuFileset) list.get(i);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
341 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
342 return null;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
343 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
344
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
345 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
346 * @return String
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
347 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
348 public String getDirName() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
349 return dirName;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
350 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
351
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
352 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
353 * @return boolean
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
354 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
355 public boolean isValid() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
356 return isValid;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
357 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
358
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
359 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
360 * @return long
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
361 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
362 public long getAccessTime() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
363 return objectATime;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
364 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
365
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
366 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
367 * @return Hashtable
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
368 */
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
369 public HashMap getDirMeta() {
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
370 return dirMeta;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
371 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
372
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
373 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
374 * @return long
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
375 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
376 public long getDirMTime() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
377 return dirMTime;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
378 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
379
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
380 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
381 * Sets the dirMeta.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
382 * @param dirMeta The dirMeta to set
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
383 */
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
384 public void setDirMeta(HashMap dirMeta) {
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
385 this.dirMeta = dirMeta;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
386 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
387
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
388 public boolean hasUnresolvedFileMeta() {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
389 return (this.unresolvedFileMeta != null);
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
390 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
391
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
392 }