org.grinvin.help

Class InvariantTreeHelpManager

Implemented Interfaces:
Manager

public class InvariantTreeHelpManager
extends java.lang.Object
implements Manager

Provides dynamic map ID assignment for the tree view of available invariants.

Constructor Summary

InvariantTreeHelpManager(InvariantTreeComponent tree)
Creates a new instance of InvariantTreeHelpManager

Method Summary

String
getHelpIDString(Object object, AWTEvent aWTEvent)
HelpSet
getHelpSet(Object object, AWTEvent aWTEvent)

Constructor Details

InvariantTreeHelpManager

public InvariantTreeHelpManager(InvariantTreeComponent tree)
Creates a new instance of InvariantTreeHelpManager

Method Details

getHelpIDString

public String getHelpIDString(Object object,
                              AWTEvent aWTEvent)

getHelpSet

public HelpSet getHelpSet(Object object,
                          AWTEvent aWTEvent)