org.grinvin.help

Class InvariantMap

Implemented Interfaces:
Map

public class InvariantMap
extends java.lang.Object
implements Map

Provides the mapping of the context-sensitive help ID of invariants and the URL for their help page.

Method Summary

Enumeration
getAllIDs()
Map.ID
getClosestID(URL uRL)
Map.ID
getIDFromURL(URL uRL)
Enumeration
getIDs(URL uRL)
static InvariantMap
getInstance()
URL
getURLFromID(Map.ID iD)
boolean
isID(URL uRL)
boolean
isValidID(String string, HelpSet helpSet)

Method Details

getAllIDs

public Enumeration getAllIDs()

getClosestID

public Map.ID getClosestID(URL uRL)

getIDFromURL

public Map.ID getIDFromURL(URL uRL)

getIDs

public Enumeration getIDs(URL uRL)

getInstance

public static InvariantMap getInstance()

getURLFromID

public URL getURLFromID(Map.ID iD)
            throws MalformedURLException

isID

public boolean isID(URL uRL)

isValidID

public boolean isValidID(String string,
                         HelpSet helpSet)