|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
A Map is the interface to ID<->URL mapping.
| Nested Class Summary | |
static class |
Map.ID
An ID is a pair of String, HelpSet. |
| Method Summary | |
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)
Determines the IDs related to this URL. |
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 (defined in the map file). |
| Method Detail |
public boolean isValidID(java.lang.String id,
HelpSet hs)
id - The String ID.hs - The HelpSet against which to resolve the string.
public java.util.Enumeration getAllIDs()
public java.net.URL getURLFromID(Map.ID id)
throws java.net.MalformedURLException
id - The ID to get the URL for.
java.net.MalformedURLException - if the URL is malformedpublic boolean isID(java.net.URL url)
url - The URL to check on.
public Map.ID getIDFromURL(java.net.URL url)
url - The URL to get the ID for.
public Map.ID getClosestID(java.net.URL url)
url - A URL
public java.util.Enumeration getIDs(java.net.URL url)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||