java.io.Serializable
, Map
public class FlatMap extends java.lang.Object implements Map, java.io.Serializable
Modifier and Type | Class | Description |
---|---|---|
protected class |
FlatMap.FlatMapResourceBundle |
FlatMapResourceBundle is a ResourceBundle but unlike most
ResourceBundles it is not locale-based and is loaded via the
constructor, not getBundle.
|
Modifier and Type | Field | Description |
---|---|---|
static java.lang.String |
publicIDString |
PublicID (known to this XML processor) to the DTD for version 1.0 of the Map
|
static java.lang.String |
publicIDString_V2 |
PublicID (known to this XML processor) to the DTD for version 1.0 of the Map
|
Constructor | Description |
---|---|
FlatMap(java.net.URL base,
HelpSet hs) |
Create a FlatMap from a given URL.
|
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).
|
HelpSet |
getHelpSet() |
The HelpSet for this Map.
|
Map.ID |
getIDFromURL(java.net.URL url) |
Gets 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 iden) |
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 whether the given ID is valid.
|
public static final java.lang.String publicIDString
public static final java.lang.String publicIDString_V2
public FlatMap(java.net.URL base, HelpSet hs) throws java.io.IOException
source
- The URL that is the source for all references in this Map.hs
- The HelpSet providing "context" for this Map.java.lang.IllegalArgumentException
- if hs doesn't have nested HelpSets.java.io.IOException
public HelpSet getHelpSet()
public boolean isValidID(java.lang.String id, HelpSet hs)
public java.util.Enumeration getAllIDs()
public java.net.URL getURLFromID(Map.ID iden) throws java.net.MalformedURLException
getURLFromID
in interface Map
iden
- The iden to get the URL for. If iden is null it is
treated as an unresolved ID and will return null.java.net.MalformedURLException
- if the URLspecification found is malformedpublic boolean isID(java.net.URL url)
public Map.ID getIDFromURL(java.net.URL url)
getIDFromURL
in interface Map
url
- The URL to get the ID for.public Map.ID getClosestID(java.net.URL url)
getClosestID
in interface Map
url
- A URL