Parent Directory | Revision Log | Patch
revision 1.2 by tjl, Fri Mar 7 11:38:21 2003 UTC | revision 1.3 by benja, Thu Apr 24 14:44:18 2003 UTC | |
---|---|---|
# | Line 72 private static final String rcsid = "$Id | Line 72 private static final String rcsid = "$Id |
72 | add(-1, 0, null); | add(-1, 0, null); |
73 | } | } |
74 | ||
75 | /** Get the keys of all children of the given cs. | |
76 | */ | |
77 | public Set getKeys(int cs) { | |
78 | Set result = new HashSet(); | |
79 | for(int i=0; i<=maxcs; i++) | |
80 | if(keyByCs[i].parent == cs) | |
81 | result.add(keyByCs[i].key); | |
82 | return result; | |
83 | } | |
84 | ||
85 | ||
86 | // --- implement VobMatcher | // --- implement VobMatcher |
87 | public int add(int cs, Object key) { | public int add(int cs, Object key) { |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |