annotate servlet/src/digilib/io/DocuDirectory.java @ 341:d10e4ce2a153

Servlet version 1.5.4b - filenames with dots (brr...) work when given without extension
author robcast
date Wed, 17 Nov 2004 19:30:34 +0100
parents 90bab835fc25
children f8ca069517a2
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
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
3 Digital Image Library servlet components
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
4
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
5 Copyright (C) 2003 Robert Casties (robcast@mail.berlios.de)
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
6
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
7 This program is free software; you can redistribute it and/or modify it
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
8 under the terms of the GNU General Public License as published by the
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
9 Free Software Foundation; either version 2 of the License, or (at your
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
10 option) any later version.
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
11
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
12 Please read license.txt for the full details. A copy of the GPL
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
13 may be found at http://www.gnu.org/copyleft/lgpl.html
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
14
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
15 You should have received a copy of the GNU General Public License
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
16 along with this program; if not, write to the Free Software
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
17 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
86
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;
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
28 import java.util.Collections;
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
29 import java.util.Iterator;
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
30 import java.util.List;
259
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
31 import java.util.Map;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
32
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
33 import org.xml.sax.SAXException;
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
34
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
35 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
36 * @author casties
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
37 */
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 130
diff changeset
38 public class DocuDirectory extends Directory {
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
39
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
40 /** list of files (DocuDirent) */
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
41 private ArrayList[] list = null;
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
42
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
43 /** directory object is valid (exists on disk) */
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
44 private boolean isValid = false;
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
45
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
46 /** reference of the parent DocuDirCache */
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
47 private DocuDirCache cache = null;
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
48
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
49 /** directory name (digilib canonical form) */
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
50 private String dirName = null;
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
51
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
52 /** directory metadata */
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
53 private Map dirMeta = null;
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
54
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
55 /** state of metadata is valid */
233
e40d8b2e3978 Servlet version 1.19b1 -- with context metadata
robcast
parents: 220
diff changeset
56 private boolean metaChecked = false;
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
57
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
58 /** unresolved file metadata */
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
59 private Map unresolvedFileMeta = null;
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
60
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
61 /** time of last access of this object (not the filesystem) */
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
62 private long objectATime = 0;
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
63
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
64 /** time directory was last modified on the file system */
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
65 private long dirMTime = 0;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
66
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
67 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
68 * Constructor with digilib directory path and a parent DocuDirCache.
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
69 *
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
70 * Directory names at the given path are appended to the base directories
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
71 * from the cache. The directory is checked on disk and isValid is set.
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
72 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
73 * @see readDir
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
74 *
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
75 * @param path
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
76 * digilib directory path name
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
77 * @param cache
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
78 * parent DocuDirCache
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
79 */
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
80 public DocuDirectory(String path, DocuDirCache cache) {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
81 this.dirName = path;
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
82 this.cache = cache;
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
83 initDir();
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
84 checkDir();
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
85 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
86
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
87 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
88 * Sets and checks the dir object.
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
89 *
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
90 */
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
91 protected void initDir() {
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
92 String baseDirName = cache.getBaseDirNames()[0];
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
93 // clear directory first
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
94 list = new ArrayList[FileOps.NUM_CLASSES];
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
95 isValid = false;
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
96 dirMTime = 0;
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
97 // the first directory has to exist
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
98 dir = new File(baseDirName, dirName);
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
99 }
156
688ad0b8b0fa Servlet version 1.16a2
robcast
parents: 152
diff changeset
100
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
101 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
102 * number of DocuFiles in this directory.
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
103 *
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
104 */
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
105 public int size() {
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
106 return ((list != null) && (list[0] != null)) ? list[0].size() : 0;
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
107 }
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
108
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
109 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
110 * number of files of this class in this directory.
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
111 *
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
112 * @param fc
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
113 * fileClass
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
114 */
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
115 public int size(int fc) {
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
116 return ((list != null) && (list[fc] != null)) ? list[fc].size() : 0;
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
117 }
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
118
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
119 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
120 * Returns the ImageFile at the index.
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
121 *
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
122 * @param index
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
123 * @return
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
124 */
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
125 public ImageFileset get(int index) {
220
c4ee5f0c3a77 servlet version 1.18b12
robcast
parents: 187
diff changeset
126 if ((list == null) || (list[0] == null) || (index >= list[0].size())) {
122
a32e8c80e2f2 Servlet Version 1.10b1
robcast
parents: 91
diff changeset
127 return null;
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
128 }
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
129 return (ImageFileset) list[0].get(index);
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
130 }
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
131
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
132 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
133 * Returns the file of the class at the index.
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
134 *
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
135 * @param index
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
136 * @param fc
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
137 * fileClass
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
138 * @return
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
139 */
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
140 public DocuDirent get(int index, int fc) {
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
141 if ((list == null) || (list[fc] == null) || (index >= list[fc].size())) {
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
142 return null;
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
143 }
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
144 return (DocuDirent) list[fc].get(index);
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
145 }
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
146
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
147 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
148 * Checks if the directory exists on the filesystem.
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
149 *
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
150 * Sets isValid.
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
151 *
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
152 * @return
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
153 */
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
154 public boolean checkDir() {
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
155 if (dir == null) {
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
156 initDir();
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
157 }
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
158 isValid = dir.isDirectory();
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
159 return isValid;
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
160 }
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
161
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
162 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
163 * Read the filesystem directory and fill this object.
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
164 *
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
165 * Clears the List and (re)reads all files.
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
166 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
167 * @return boolean the directory exists
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
168 */
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 270
diff changeset
169 public synchronized boolean readDir() {
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
170 // check directory first
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
171 checkDir();
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
172 if (!isValid) {
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
173 return false;
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
174 }
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
175 // first file extension to try for scaled directories
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
176 String scalext = null;
259
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
177 // read all filenames
295
90bab835fc25 Servlet version 1.5.0b -- the beginning of the next generation :-)
robcast
parents: 288
diff changeset
178 //logger.debug("reading directory " + dir.getPath());
259
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
179 /*
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
180 * using ReadableFileFilter is safer (we won't get directories with file
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
181 * extensions) but slower.
259
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
182 */
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
183 File[] allFiles = null;
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
184 if (cache.safeDirIndex) {
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
185 allFiles = dir.listFiles(new FileOps.ReadableFileFilter());
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
186 } else {
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
187 allFiles = dir.listFiles();
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
188 }
295
90bab835fc25 Servlet version 1.5.0b -- the beginning of the next generation :-)
robcast
parents: 288
diff changeset
189 //logger.debug(" done");
259
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
190 if (allFiles == null) {
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
191 // not a directory
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
192 return false;
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
193 }
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
194 // list of base dirs from the parent cache
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
195 String[] baseDirNames = cache.getBaseDirNames();
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
196 // number of base dirs
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
197 int nb = baseDirNames.length;
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
198 // array of base dirs
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
199 Directory[] dirs = new Directory[nb];
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
200 // first entry is this directory
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
201 dirs[0] = this;
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
202 // fill array with the remaining directories
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
203 for (int j = 1; j < nb; j++) {
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
204 File d = new File(baseDirNames[j], dirName);
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
205 if (d.isDirectory()) {
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
206 dirs[j] = new Directory(d);
295
90bab835fc25 Servlet version 1.5.0b -- the beginning of the next generation :-)
robcast
parents: 288
diff changeset
207 //logger.debug(" reading scaled directory " + d.getPath());
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
208 dirs[j].readDir();
295
90bab835fc25 Servlet version 1.5.0b -- the beginning of the next generation :-)
robcast
parents: 288
diff changeset
209 //logger.debug(" done");
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
210 }
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
211 }
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
212
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
213 // go through all file classes
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
214 for (int classIdx = 0; classIdx < FileOps.NUM_CLASSES; classIdx++) {
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
215 int fileClass = cache.getFileClasses()[classIdx];
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
216 //logger.debug("filtering directory "+dir.getPath()+" for class
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
217 // "+fc);
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
218 File[] fileList = FileOps.listFiles(allFiles, FileOps
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
219 .filterForClass(fileClass));
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
220 //logger.debug(" done");
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
221 // number of files in the directory
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
222 int numFiles = fileList.length;
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
223 if (numFiles > 0) {
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
224 // create new list
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
225 list[fileClass] = new ArrayList(numFiles);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
226 // sort the file names alphabetically and iterate the list
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
227 Arrays.sort(fileList);
259
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
228 Map hints = FileOps.newHints(FileOps.HINT_BASEDIRS, dirs);
beed92ee6022 Servlet version 1.21b1
robcast
parents: 246
diff changeset
229 hints.put(FileOps.HINT_FILEEXT, scalext);
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
230 for (int i = 0; i < numFiles; i++) {
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
231 DocuDirent f = FileOps.fileForClass(fileClass, fileList[i],
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
232 hints);
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
233 // add the file to our list
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
234 list[fileClass].add(f);
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
235 f.setParent(this);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
236 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
237 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
238 }
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
239 // clear the scaled directories
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
240 for (int j = 1; j < nb; j++) {
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
241 if (dirs[j] != null) {
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
242 dirs[j].clearFilenames();
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
243 }
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
244 }
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
245 // update number of cached files if this was the first time
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
246 if (dirMTime == 0) {
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
247 cache.numFiles += size();
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
248 }
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
249 dirMTime = dir.lastModified();
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
250 // read metadata as well
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
251 readMeta();
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
252 return isValid;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
253 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
254
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
255 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
256 * Check to see if the directory has been modified and reread if necessary.
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
257 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
258 * @return boolean the directory is valid
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
259 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
260 public boolean refresh() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
261 if (isValid) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
262 if (dir.lastModified() > dirMTime) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
263 // on-disk modification time is more recent
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
264 readDir();
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
265 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
266 touch();
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
267 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
268 return isValid;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
269 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
270
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
271 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
272 * Read directory metadata.
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
273 *
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
274 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
275 public void readMeta() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
276 // check for directory metadata...
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
277 File mf = new File(dir, "index.meta");
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
278 if (mf.canRead()) {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
279 XMLMetaLoader ml = new XMLMetaLoader();
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
280 try {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
281 // read directory meta file
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
282 Map fileMeta = ml.loadURL(mf.getAbsolutePath());
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
283 if (fileMeta == null) {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
284 return;
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
285 }
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
286 // meta for the directory itself is in the "" bin
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
287 dirMeta = (Map) fileMeta.remove("");
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
288 // read meta for files in this directory
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
289 readFileMeta(fileMeta, null);
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
290 // is there meta for other files left?
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
291 if (fileMeta.size() > 0) {
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
292 unresolvedFileMeta = fileMeta;
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
293 }
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
294 } catch (SAXException e) {
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 270
diff changeset
295 logger.warn("error parsing index.meta", e);
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
296 } catch (IOException e) {
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 270
diff changeset
297 logger.warn("error reading index.meta", e);
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
298 }
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
299 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
300 readParentMeta();
233
e40d8b2e3978 Servlet version 1.19b1 -- with context metadata
robcast
parents: 220
diff changeset
301 metaChecked = true;
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
302 }
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
303
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
304 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
305 * Read metadata from all known parent directories.
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
306 *
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
307 */
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
308 public void readParentMeta() {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
309 // check the parent directories for additional file meta
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
310 Directory dd = parent;
156
688ad0b8b0fa Servlet version 1.16a2
robcast
parents: 152
diff changeset
311 String path = dir.getName();
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
312 while (dd != null) {
156
688ad0b8b0fa Servlet version 1.16a2
robcast
parents: 152
diff changeset
313 if (((DocuDirectory) dd).hasUnresolvedFileMeta()) {
688ad0b8b0fa Servlet version 1.16a2
robcast
parents: 152
diff changeset
314 readFileMeta(((DocuDirectory) dd).unresolvedFileMeta, path);
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
315 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
316 // prepend parent dir path
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
317 path = dd.dir.getName() + "/" + path;
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
318 // become next parent
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
319 dd = dd.parent;
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
320 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
321 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
322
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
323 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
324 * Read metadata for the files in this directory.
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
325 *
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
326 * Takes a Map with meta-information, adding the relative path before the
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
327 * lookup.
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
328 *
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
329 * @param fileMeta
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
330 * @param relPath
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
331 * @param fc
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
332 * fileClass
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
333 */
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
334 protected void readFileMeta(Map fileMeta, String relPath) {
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
335 if (list == null) {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
336 // there are no files
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
337 return;
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
338 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
339 String path = (relPath != null) ? (relPath + "/") : "";
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
340 // go through all file classes
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
341 for (int nc = 0; nc < list.length; nc++) {
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
342 int fc = cache.getFileClasses()[nc];
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
343 if (list[fc] == null) {
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
344 continue;
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
345 }
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
346 // iterate through the list of files in this directory
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
347 for (Iterator i = list[fc].iterator(); i.hasNext();) {
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
348 DocuDirent f = (DocuDirent) i.next();
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
349 // prepend path to the filename
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
350 String fn = path + f.getName();
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
351 // look up meta for this file and remove from dir
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
352 Map meta = (Map) fileMeta.remove(fn);
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
353 if (meta != null) {
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
354 // store meta in file
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
355 f.setFileMeta(meta);
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
356 }
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
357 }
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
358 }
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
359 }
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
360
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
361 protected void notifyChildMeta(Map childmeta) {
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
362 List children = cache.getChildren(this.dirName, true);
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
363 if (children.size() > 0) {
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
364 for (Iterator i = children.iterator(); i.hasNext();) {
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
365 // TODO: finish this!
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
366 //((DocuDirectory) i.next()).readFileMeta()
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
367 }
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
368 }
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
369 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
370
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
371 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
372 * Update access time.
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
373 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
374 * @return long time of last access.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
375 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
376 public long touch() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
377 long t = objectATime;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
378 objectATime = System.currentTimeMillis();
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
379 return t;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
380 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
381
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
382 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
383 * Searches for the file with the name <code>fn</code>.
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
384 *
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
385 * Searches the directory for the file with the name <code>fn</code> and
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
386 * returns its index. Returns -1 if the file cannot be found.
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
387 *
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
388 * @param fn
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
389 * filename
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
390 * @param fc
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
391 * file class
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
392 * @return int index of file <code>fn</code>
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
393 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
394 public int indexOf(String fn) {
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
395 int fc = FileOps.classForFilename(fn);
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
396 return indexOf(fn, fc);
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
397 }
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
398
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
399 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
400 * Searches for the file with the name <code>fn</code> and class fc.
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
401 *
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
402 * Searches the directory for the file with the name <code>fn</code> and
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
403 * returns its index. Returns -1 if the file cannot be found.
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
404 *
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
405 * @param fn
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
406 * filename
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
407 * @return int index of file <code>fn</code>
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
408 */
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
409 public int indexOf(String fn, int fc) {
176
67ff8c7fecb9 Servlet version 1.17b2
robcast
parents: 159
diff changeset
410 if (!isRead()) {
67ff8c7fecb9 Servlet version 1.17b2
robcast
parents: 159
diff changeset
411 // read directory now
67ff8c7fecb9 Servlet version 1.17b2
robcast
parents: 159
diff changeset
412 if (!readDir()) {
67ff8c7fecb9 Servlet version 1.17b2
robcast
parents: 159
diff changeset
413 return -1;
67ff8c7fecb9 Servlet version 1.17b2
robcast
parents: 159
diff changeset
414 }
67ff8c7fecb9 Servlet version 1.17b2
robcast
parents: 159
diff changeset
415 }
288
ffafe3e470fb Servlet version 1.22b2
robcast
parents: 282
diff changeset
416 List fileList = list[fc];
246
aaf6eace011d Servlet version 1.19b4
robcast
parents: 233
diff changeset
417 // empty directory?
288
ffafe3e470fb Servlet version 1.22b2
robcast
parents: 282
diff changeset
418 if (fileList == null) {
246
aaf6eace011d Servlet version 1.19b4
robcast
parents: 233
diff changeset
419 return -1;
aaf6eace011d Servlet version 1.19b4
robcast
parents: 233
diff changeset
420 }
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
421 // search for exact match
288
ffafe3e470fb Servlet version 1.22b2
robcast
parents: 282
diff changeset
422 int idx = Collections.binarySearch(fileList, fn);
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
423 if (idx >= 0) {
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
424 return idx;
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
425 } else {
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
426 // try closest matches without extension
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 270
diff changeset
427 idx = -idx - 1;
288
ffafe3e470fb Servlet version 1.22b2
robcast
parents: 282
diff changeset
428 if ((idx < fileList.size())
341
d10e4ce2a153 Servlet version 1.5.4b
robcast
parents: 295
diff changeset
429 && isBaseInList(fileList, idx, fn)) {
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 270
diff changeset
430 // idx matches
87dca7119596 Servlet version 1.22b1
robcast
parents: 270
diff changeset
431 return idx;
87dca7119596 Servlet version 1.22b1
robcast
parents: 270
diff changeset
432 } else if ((idx > 0)
341
d10e4ce2a153 Servlet version 1.5.4b
robcast
parents: 295
diff changeset
433 && isBaseInList(fileList, idx-1, fn)) {
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 270
diff changeset
434 // idx-1 matches
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
435 return idx - 1;
288
ffafe3e470fb Servlet version 1.22b2
robcast
parents: 282
diff changeset
436 } else if ((idx + 1 < fileList.size())
341
d10e4ce2a153 Servlet version 1.5.4b
robcast
parents: 295
diff changeset
437 && isBaseInList(fileList, idx+1, fn)) {
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 270
diff changeset
438 // idx+1 matches
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
439 return idx + 1;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
440 }
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
441
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
442 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
443 return -1;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
444 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
445
341
d10e4ce2a153 Servlet version 1.5.4b
robcast
parents: 295
diff changeset
446 private boolean isBaseInList(List fl, int idx, String fn) {
d10e4ce2a153 Servlet version 1.5.4b
robcast
parents: 295
diff changeset
447 String dfn = FileOps.basename(((DocuDirent) fl.get(idx))
d10e4ce2a153 Servlet version 1.5.4b
robcast
parents: 295
diff changeset
448 .getName());
d10e4ce2a153 Servlet version 1.5.4b
robcast
parents: 295
diff changeset
449 return (dfn.equals(fn)||dfn.equals(FileOps.basename(fn)));
d10e4ce2a153 Servlet version 1.5.4b
robcast
parents: 295
diff changeset
450 }
d10e4ce2a153 Servlet version 1.5.4b
robcast
parents: 295
diff changeset
451
d10e4ce2a153 Servlet version 1.5.4b
robcast
parents: 295
diff changeset
452
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
453 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
454 * Finds the DocuDirent with the name <code>fn</code>.
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
455 *
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
456 * Searches the directory for the DocuDirent with the name <code>fn</code>
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
457 * and returns it. Returns null if the file cannot be found.
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
458 *
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
459 * @param fn
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
460 * filename
187
b3f9a7f646c5 Servlet version 1.18b3 new Raster servlet
robcast
parents: 181
diff changeset
461 * @return DocuDirent
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
462 */
187
b3f9a7f646c5 Servlet version 1.18b3 new Raster servlet
robcast
parents: 181
diff changeset
463 public DocuDirent find(String fn) {
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
464 int fc = FileOps.classForFilename(fn);
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
465 int i = indexOf(fn, fc);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
466 if (i >= 0) {
187
b3f9a7f646c5 Servlet version 1.18b3 new Raster servlet
robcast
parents: 181
diff changeset
467 return (DocuDirent) list[0].get(i);
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
468 }
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
469 return null;
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
470 }
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
471
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
472 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
473 * Finds the DocuDirent with the name <code>fn</code> and class
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
474 * <code>fc</code>.
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
475 *
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
476 * Searches the directory for the DocuDirent with the name <code>fn</code>
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
477 * and returns it. Returns null if the file cannot be found.
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
478 *
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
479 * @param fn
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
480 * filename
187
b3f9a7f646c5 Servlet version 1.18b3 new Raster servlet
robcast
parents: 181
diff changeset
481 * @return DocuDirent
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
482 */
187
b3f9a7f646c5 Servlet version 1.18b3 new Raster servlet
robcast
parents: 181
diff changeset
483 public DocuDirent find(String fn, int fc) {
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
484 int i = indexOf(fn, fc);
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
485 if (i >= 0) {
187
b3f9a7f646c5 Servlet version 1.18b3 new Raster servlet
robcast
parents: 181
diff changeset
486 return (DocuDirent) list[fc].get(i);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
487 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
488 return null;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
489 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
490
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
491 /**
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
492 * Returns the digilib canonical name.
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
493 *
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
494 * @return
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
495 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
496 public String getDirName() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
497 return dirName;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
498 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
499
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
500 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
501 * The directory is valid (exists on disk).
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
502 *
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
503 * @return boolean
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
504 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
505 public boolean isValid() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
506 return isValid;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
507 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
508
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
509 /**
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
510 * The directory has been read from disk.
159
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
511 *
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
512 * @return
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
513 */
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
514 public boolean isRead() {
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
515 return (dirMTime != 0);
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
516 }
e743b853efca servlet version 1.16a4
robcast
parents: 156
diff changeset
517
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
518 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
519 * @return long
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
520 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
521 public long getAccessTime() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
522 return objectATime;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
523 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
524
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
525 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
526 * @return Hashtable
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
527 */
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
528 public Map getDirMeta() {
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
529 return dirMeta;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
530 }
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
531
233
e40d8b2e3978 Servlet version 1.19b1 -- with context metadata
robcast
parents: 220
diff changeset
532 /**
e40d8b2e3978 Servlet version 1.19b1 -- with context metadata
robcast
parents: 220
diff changeset
533 * Checks metadata
e40d8b2e3978 Servlet version 1.19b1 -- with context metadata
robcast
parents: 220
diff changeset
534 *
e40d8b2e3978 Servlet version 1.19b1 -- with context metadata
robcast
parents: 220
diff changeset
535 */
e40d8b2e3978 Servlet version 1.19b1 -- with context metadata
robcast
parents: 220
diff changeset
536 public void checkMeta() {
e40d8b2e3978 Servlet version 1.19b1 -- with context metadata
robcast
parents: 220
diff changeset
537 if (metaChecked) {
e40d8b2e3978 Servlet version 1.19b1 -- with context metadata
robcast
parents: 220
diff changeset
538 return;
e40d8b2e3978 Servlet version 1.19b1 -- with context metadata
robcast
parents: 220
diff changeset
539 } else {
e40d8b2e3978 Servlet version 1.19b1 -- with context metadata
robcast
parents: 220
diff changeset
540 readMeta();
e40d8b2e3978 Servlet version 1.19b1 -- with context metadata
robcast
parents: 220
diff changeset
541 }
e40d8b2e3978 Servlet version 1.19b1 -- with context metadata
robcast
parents: 220
diff changeset
542 }
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
543
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
544 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
545 * @return long
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
546 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
547 public long getDirMTime() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
548 return dirMTime;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
549 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
550
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
551 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
552 * Sets the dirMeta.
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
553 *
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
554 * @param dirMeta
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
555 * The dirMeta to set
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
556 */
270
b21915a3fc24 Servlet version 1.21b3
robcast
parents: 259
diff changeset
557 public void setDirMeta(Map dirMeta) {
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
558 this.dirMeta = dirMeta;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
559 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
560
151
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
561 public boolean hasUnresolvedFileMeta() {
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
562 return (this.unresolvedFileMeta != null);
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
563 }
bc8df0133c04 Servlet version 1.15b1
robcast
parents: 149
diff changeset
564
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
565 }