|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--javax.help.TryMap
A Map that can combine a number of other Maps in an efficient manner. Currently this is a brute-force implementation.
Nested Class Summary |
Nested classes inherited from class javax.help.Map |
Map.ID |
Constructor Summary | |
TryMap()
Creates an empty Map. |
Method Summary | |
void |
add(Map map)
Adds a map to a "filter" Map. |
java.util.Enumeration |
getAllIDs()
Gets an enumeration of all the IDs in a Map. |
Map.ID |
getClosestID(java.net.URL url)
Determines the ID that is "closest" to this URL (with a given anchor). |
Map.ID |
getIDFromURL(java.net.URL url)
Determines the ID for this URL. |
java.util.Enumeration |
getIDs(java.net.URL url)
Gets the the IDs related to this URL. |
java.util.Enumeration |
getMaps()
Enumerates all the Maps in this TryMap. |
java.net.URL |
getURLFromID(Map.ID id)
Gets the URL that corresponds to a given ID in the Map. |
boolean |
isID(java.net.URL url)
Determines if the URL corresponds to an ID in the Map. |
boolean |
isValidID(java.lang.String id,
HelpSet hs)
Determines if the ID is valid (known to in the project file). |
boolean |
remove(Map map)
Removes a Map from this "filter" Map. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public TryMap()
Method Detail |
public void add(Map map)
map
- The new Map to add. If Map is null it is not added.public boolean remove(Map map)
map
- The Map to add.
public java.util.Enumeration getMaps()
public boolean isValidID(java.lang.String id, HelpSet hs)
isValidID
in interface Map
id
- The ID to check. A null ID is a valid parameterhs
- The HelpSet against which to resolve the string.
public java.util.Enumeration getAllIDs()
getAllIDs
in interface Map
public java.net.URL getURLFromID(Map.ID id) throws java.net.MalformedURLException
getURLFromID
in interface Map
id
- The ID for which to get the URL. If id is null it is
treated as an unresolved ID and returns null.
java.net.MalformedURLException
- if the URL specification found is malformedpublic boolean isID(java.net.URL url)
isID
in interface Map
url
- The URL to check on.
public Map.ID getIDFromURL(java.net.URL url)
getIDFromURL
in interface Map
url
- The URL to get the ID for.
public Map.ID getClosestID(java.net.URL url)
getClosestID
in interface Map
url
- A URL
public java.util.Enumeration getIDs(java.net.URL url)
getIDs
in interface Map
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |