annotate servlet/src/digilib/io/DocuDirectory.java @ 143:81937cc5c743

Servlet version 1.12b3
author robcast
date Mon, 18 Aug 2003 11:53:14 +0200
parents c36944be0b58
children 04ad64b2137a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
1 /* DocuDirectory -- Directory of DocuFilesets.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
2
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
3 Digital Image Library servlet components
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
4
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
5 Copyright (C) 2003 Robert Casties (robcast@mail.berlios.de)
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
6
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
7 This program is free software; you can redistribute it and/or modify it
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
8 under the terms of the GNU General Public License as published by the
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
9 Free Software Foundation; either version 2 of the License, or (at your
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
10 option) any later version.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
11
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
12 Please read license.txt for the full details. A copy of the GPL
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
13 may be found at http://www.gnu.org/copyleft/lgpl.html
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
14
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
15 You should have received a copy of the GNU General Public License
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
16 along with this program; if not, write to the Free Software
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
17 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
18
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
19 * Created on 25.02.2003
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
20 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
21
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
22 package digilib.io;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
23
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
24 import java.io.File;
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
25 import java.io.IOException;
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
26 import java.util.ArrayList;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
27 import java.util.Arrays;
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
28 import java.util.HashMap;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
29 import java.util.Iterator;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
30
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
31 import org.xml.sax.SAXException;
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
32
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
33 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
34 * @author casties
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
35 */
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
36 public class DocuDirectory {
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
37
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
38 // list of files (DocuFileSet)
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
39 private ArrayList list = null;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
40 // directory object is valid (has been read)
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
41 private boolean isValid = false;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
42 // names of base directories
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
43 private String[] baseDirNames = null;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
44 // directory name (digilib canonical form)
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
45 private String dirName = null;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
46 // default/hires directory
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
47 private File dir = 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;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
50 // time of last access of this object (not the filesystem)
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
51 private long objectATime = 0;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
52 // time the file system directory was last modified
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
53 private long dirMTime = 0;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
54
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
55 /*
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
56 * constructors
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
57 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
58
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
59 /** Constructor with directory path and set of base directories.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
60 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
61 * Reads the directory at the given path appended to the base directories.
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
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
66 * @param bd array of base directory names
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
67 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
68 public DocuDirectory(String path, String[] bd) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
69 dirName = path;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
70 baseDirNames = bd;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
71 readDir();
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
72 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
73
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
74 /*
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
75 * other stuff
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
76 */
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
77
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
78 public int size() {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
79 return (list != null) ? list.size() : 0;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
80 }
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
81
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
82 public DocuFileset get(int index) {
122
a32e8c80e2f2 Servlet Version 1.10b1
robcast
parents: 91
diff changeset
83 if ((list == null)||(index >= list.size())) {
a32e8c80e2f2 Servlet Version 1.10b1
robcast
parents: 91
diff changeset
84 return null;
a32e8c80e2f2 Servlet Version 1.10b1
robcast
parents: 91
diff changeset
85 }
a32e8c80e2f2 Servlet Version 1.10b1
robcast
parents: 91
diff changeset
86 return (DocuFileset)list.get(index);
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
87 }
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
88
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
89 /** Read the directory and fill this object.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
90 *
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
91 * Clears the List and (re)reads all files.
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
92 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
93 * @return boolean the directory exists
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
94 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
95 public boolean readDir() {
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
96 // first file extension to try for scaled directories
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
97 String fext = null;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
98 // clear directory first
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
99 list = null;
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
100 isValid = false;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
101 // number of base dirs
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
102 int nb = baseDirNames.length;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
103 // array of base dirs
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
104 File[] dirs = new File[nb];
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
105 // the first directory has to exist
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
106 dir = new File(baseDirNames[0] + dirName);
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
107
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
108 if (dir.isDirectory()) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
109 // fill array with the remaining directories
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
110 for (int j = 1; j < nb; j++) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
111 File d = new File(baseDirNames[j] + dirName);
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
112 if (d.isDirectory()) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
113 dirs[j] = d;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
114 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
115 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
116
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
117 File[] fl = dir.listFiles(new FileOps.ImageFileFilter());
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
118 if (fl == null) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
119 // not a directory
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
120 return false;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
121 }
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
122 // number of image files in the directory
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
123 int nf = fl.length;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
124 if (nf > 0) {
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
125 // create new list
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
126 list = new ArrayList(nf);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
127
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
128 // sort the file names alphabetically and iterate the list
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
129 Arrays.sort(fl);
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
130 for (int i = 0; i < nf; i++) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
131 String fn = fl[i].getName();
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
132 String fnx =
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
133 fn.substring(0, fn.lastIndexOf('.') + 1);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
134 // add the first DocuFile to a new DocuFileset
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
135 DocuFileset fs = new DocuFileset(nb);
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
136 fs.add(new DocuFile(fl[i]));
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
137 // iterate the remaining base directories
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
138 for (int j = 1; j < nb; j++) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
139 if (dirs[j] == null) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
140 continue;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
141 }
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
142 File f;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
143 if (fext != null) {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
144 // use the last extension
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
145 f = new File(dirs[j], fnx + fext);
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
146 } else {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
147 // try the same filename as the original
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
148 f = new File(dirs[j], fn);
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
149 }
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
150 // if the file exists, add to the DocuFileset
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
151 if (f.canRead()) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
152 fs.add(new DocuFile(f));
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
153 } else {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
154 // try other file extensions
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
155 Iterator exts = FileOps.getImageExtensionIterator();
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
156 while (exts.hasNext()) {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
157 String s = (String) exts.next();
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
158 f =
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
159 new File(
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
160 dirs[j],
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
161 fnx + s);
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
162 // if the file exists, add to the DocuFileset
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
163 if (f.canRead()) {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
164 fs.add(new DocuFile(f));
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
165 fext = s;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
166 break;
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
167 }
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
168 }
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
169 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
170 }
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
171 // add the fileset to our list
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
172 list.add(fs);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
173 fs.setParent(this);
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
174 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
175 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
176 dirMTime = dir.lastModified();
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
177 isValid = true;
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
178 // read metadata as well
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
179 readMeta();
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
180 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
181 return isValid;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
182
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
183 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
184
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
185 /** Check to see if the directory has been modified and reread if necessary.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
186 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
187 * @return boolean the directory is valid
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
188 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
189 public boolean refresh() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
190 if (isValid) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
191 if (dir.lastModified() > dirMTime) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
192 // on-disk modification time is more recent
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
193 readDir();
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
194 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
195 touch();
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
196 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
197 return isValid;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
198 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
199
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
200 /** Read directory metadata.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
201 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
202 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
203 public void readMeta() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
204 // check for directory metadata...
130
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
205 File mf = new File(dir, "index.meta");
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
206 if (mf.canRead()) {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
207 XMLMetaLoader ml = new XMLMetaLoader();
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
208 try {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
209 // read directory meta file
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
210 HashMap fileMeta = ml.loadURL(mf.getAbsolutePath());
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
211 if (fileMeta == null) {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
212 return;
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
213 }
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
214 // meta for the directory itself is in the "" bin
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
215 dirMeta = (HashMap)fileMeta.remove("");
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
216 // is there meta for other files?
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
217 if (fileMeta.size() > 0) {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
218 // iterate through the list of files
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
219 for (Iterator i = list.iterator(); i.hasNext();) {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
220 DocuFileset df = (DocuFileset)i.next();
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
221 // look up meta for this file
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
222 HashMap meta = (HashMap)fileMeta.get(df.getName());
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
223 if (meta != null) {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
224 df.setFileMeta(meta);
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
225 }
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
226 }
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
227 }
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
228 } catch (SAXException e) {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
229 // TODO Auto-generated catch block
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
230 e.printStackTrace();
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
231 } catch (IOException e) {
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
232 // TODO Auto-generated catch block
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
233 e.printStackTrace();
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
234 }
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
235
c36944be0b58 Servlet Version 1.11a1with original size(!)
robcast
parents: 122
diff changeset
236 }
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
237 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
238
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
239 /** Update access time.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
240 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
241 * @return long time of last access.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
242 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
243 public long touch() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
244 long t = objectATime;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
245 objectATime = System.currentTimeMillis();
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
246 return t;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
247 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
248
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
249 /** Searches for the file with the name <code>fn</code>.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
250 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
251 * Searches the directory for the file with the name <code>fn</code> and returns
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
252 * its index. Returns -1 if the file cannot be found.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
253 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
254 * @param fn filename
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
255 * @return int index of file <code>fn</code>
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
256 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
257 public int indexOf(String fn) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
258 // linear search -> worst performance
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
259 int n = list.size();
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
260 for (int i = 0; i < n; i++) {
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
261 DocuFileset fs = (DocuFileset) list.get(i);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
262 if (fs.getName().equals(fn)) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
263 return i;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
264 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
265 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
266 return -1;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
267 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
268
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
269 /** Finds the DocuFileset with the name <code>fn</code>.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
270 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
271 * Searches the directory for the DocuFileset with the name <code>fn</code> and returns
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
272 * it. Returns null if the file cannot be found.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
273 *
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
274 * @param fn filename
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
275 * @return DocuFileset
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
276 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
277 public DocuFileset find(String fn) {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
278 int i = indexOf(fn);
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
279 if (i >= 0) {
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
280 return (DocuFileset) list.get(i);
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
281 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
282 return null;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
283 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
284
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
285 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
286 * @return String
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
287 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
288 public String getDirName() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
289 return dirName;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
290 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
291
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
292 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
293 * @return boolean
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
294 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
295 public boolean isValid() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
296 return isValid;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
297 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
298
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
299 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
300 * @return long
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
301 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
302 public long getAccessTime() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
303 return objectATime;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
304 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
305
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
306 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
307 * @return Hashtable
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
308 */
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
309 public HashMap getDirMeta() {
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
310 return dirMeta;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
311 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
312
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
313 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
314 * @return long
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
315 */
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
316 public long getDirMTime() {
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
317 return dirMTime;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
318 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
319
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
320 /**
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
321 * Sets the dirMeta.
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
322 * @param dirMeta The dirMeta to set
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
323 */
91
a398fc09ba71 New version 1.8b4.
robcast
parents: 86
diff changeset
324 public void setDirMeta(HashMap dirMeta) {
86
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
325 this.dirMeta = dirMeta;
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
326 }
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
327
997ba69afb81 New version 1.8b1.
robcast
parents:
diff changeset
328 }