| 
 | ||||||||||
| 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.IDAn 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 | |||||||||