org.grinvin.help
Class InvariantListHelpManager
java.lang.Object
org.grinvin.help.InvariantListHelpManager
- Manager
public class InvariantListHelpManager
extends java.lang.Object
implements Manager
Provides dynamic map ID assignment for a list of invariants.
InvariantListHelpManager
public InvariantListHelpManager(InvariantListComponent list)
Creates a new instance of InvariantListHelpManager
getHelpIDString
public String getHelpIDString(Object object,
AWTEvent aWTEvent)
getHelpSet
public HelpSet getHelpSet(Object object,
AWTEvent aWTEvent)