annotate servlet/src/digilib/auth/HashTree.java @ 269:6e6bf5aa7ad2

Servlet version 1.21b3 - searching in directories got faster (real binarySearch now!) - cached file lists get disposed - some code cleaning (Map types instead of HashMap)
author robcast
date Tue, 12 Oct 2004 16:06:43 +0200
parents 6221d688eab6
children e758a49258e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
1 /* HashTree -- Tree in a Hashtable
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
2
205
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
3 Digital Image Library servlet components
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
4
205
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
5 Copyright (C) 2001, 2002 Robert Casties (robcast@mail.berlios.de)
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
6
205
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
7 This program is free software; you can redistribute it and/or modify it
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
8 under the terms of the GNU General Public License as published by the
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
9 Free Software Foundation; either version 2 of the License, or (at your
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
10 option) any later version.
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
11
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
12 Please read license.txt for the full details. A copy of the GPL
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
13 may be found at http://www.gnu.org/copyleft/lgpl.html
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
14
205
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
15 You should have received a copy of the GNU General Public License
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
16 along with this program; if not, write to the Free Software
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
17 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
18
205
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
19 */
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
20
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
21 package digilib.auth;
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
22
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
23 import java.util.*;
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
24
205
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
25 /**
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
26 * Tree representation wrapper for a HashMap.
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
27 *
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
28 * The HashTree is constructed from a HashMap filled with 'branches' with
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
29 * 'leaves'. The branches are stored as String keys in the HashMap. The String
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
30 * values are leaves.
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
31 *
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
32 * Branches are matched in 'twigs' separated by 'twig separator' Strings. The
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
33 * return values for a match are leaf values separated by 'leaf separator'
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
34 * Strings.
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
35 *
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
36 * @author casties
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
37 */
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
38 public class HashTree {
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
39
269
6e6bf5aa7ad2 Servlet version 1.21b3
robcast
parents: 205
diff changeset
40 private Map table;
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
41
205
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
42 private String twigSep = "/";
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
43
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
44 private String leafSep = ",";
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
45
205
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
46 /**
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
47 * Constructor of a HashTree.
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
48 *
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
49 * Creates a HashTree wrapper around a given HashMap, using the given twig
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
50 * separator and leaf separator.
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
51 *
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
52 * @param t
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
53 * @param twig_separator
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
54 * @param leaf_separator
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
55 */
269
6e6bf5aa7ad2 Servlet version 1.21b3
robcast
parents: 205
diff changeset
56 public HashTree(Map t, String twig_separator, String leaf_separator) {
205
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
57 table = t;
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
58 twigSep = twig_separator;
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
59 leafSep = leaf_separator;
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
60 optimizeTable();
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
61 }
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
62
205
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
63 void optimizeTable() {
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
64 }
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
65
205
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
66 /**
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
67 * Matches the given branch against the HashTree.
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
68 *
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
69 * Returns a LinkedList of all leaves on all matching branches in the tree.
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
70 * Branches in the tree match if they are substrings starting at the same
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
71 * root.
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
72 *
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
73 * @param branch
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
74 * @return
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
75 */
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
76 List match(String branch) {
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
77 String b = "";
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
78 String m;
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
79 LinkedList matches = new LinkedList();
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
80
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
81 // split branch
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
82 StringTokenizer twig = new StringTokenizer(branch, twigSep);
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
83 // walk branch and check with tree
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
84 while (twig.hasMoreTokens()) {
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
85 if (b.length() == 0) {
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
86 b = twig.nextToken();
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
87 } else {
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
88 b += twigSep + twig.nextToken();
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
89 }
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
90 m = (String) table.get(b);
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
91 if (m != null) {
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
92 if (m.indexOf(leafSep) < 0) {
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
93 // single leaf
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
94 matches.add(m);
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
95 } else {
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
96 // split leaves
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
97 StringTokenizer leaf = new StringTokenizer(m, leafSep);
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
98 while (leaf.hasMoreTokens()) {
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
99 matches.add(leaf.nextToken());
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
100 }
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
101 }
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
102 }
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
103 }
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
104 if (matches.size() > 0) {
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
105 return matches;
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
106 } else {
205
6221d688eab6 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
107 return null;
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
108 }
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
109 }
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
110 }