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.Object
o
- The object to compare.public java.lang.String toString()
toString
in class java.lang.Object