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