annotate servlet/src/digilib/io/DocuDirectory.java @ 259:beed92ee6022

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