public static final class Map.ID
extends java.lang.Object
implements java.io.Serializable
| Modifier and Type | Method and Description |
|---|---|
static Map.ID |
create(java.lang.String id,
HelpSet hs)
A location within a HelpSet.
|
boolean |
equals(java.lang.Object o)
Determines if two IDs are equal.
|
HelpSet |
getHelpSet()
Getter for property hs.
|
java.lang.String |
getIDString()
Getter for property id.
|
java.net.URL |
getURL()
Returns the URL that the Map.ID refers to.
|
java.lang.String |
toString()
Gets an external represenation of an ID.
|
public java.lang.String id
public HelpSet hs
public static Map.ID create(java.lang.String id, HelpSet hs) throws BadIDException
id - The Stringhs - The HelpSetBadIDException - if String is not within the Map of the
HelpSet.public HelpSet getHelpSet()
public java.lang.String getIDString()
public java.net.URL getURL()
throws java.net.MalformedURLException
java.net.MalformedURLException - if the URL is malformedMap.getURLFromID(javax.help.Map.ID id)public boolean equals(java.lang.Object o)
equals in class java.lang.Objecto - The object to compare.public java.lang.String toString()
toString in class java.lang.Object