javax.help
Modifier and Type | Interface and Description |
---|---|
static class |
Map.ID
An ID is a pair of String, HelpSet.
|
Modifier and Type | Method and 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.