annotate servlet/src/digilib/io/DocuDirectory.java @ 241:bc30dea2bb2e

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