annotate servlet/src/digilib/io/DocuDirectory.java @ 482:f0fb0d781548

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