Modifier and Type | Interface | Description |
---|---|---|
static class |
Map.ID |
An ID is a pair of String, HelpSet.
|
Modifier and Type | Method | Description |
---|---|---|
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).
|
boolean isValidID(java.lang.String id, HelpSet hs)
id
- The String ID.hs
- The HelpSet against which to resolve the string.java.util.Enumeration getAllIDs()
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 malformedboolean isID(java.net.URL url)
url
- The URL to check on.Map.ID getIDFromURL(java.net.URL url)
url
- The URL to get the ID for.Map.ID getClosestID(java.net.URL url)
url
- A URLjava.util.Enumeration getIDs(java.net.URL url)
URL
- The URL to which to compare the Map IDs.