org.grinvin.help

Class InvariantListHelpManager

Implemented Interfaces:
Manager

public class InvariantListHelpManager
extends java.lang.Object
implements Manager

Provides dynamic map ID assignment for a list of invariants.

Constructor Summary

InvariantListHelpManager(InvariantListComponent list)
Creates a new instance of InvariantListHelpManager

Method Summary

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

Constructor Details

InvariantListHelpManager

public InvariantListHelpManager(InvariantListComponent list)
Creates a new instance of InvariantListHelpManager

Method Details

getHelpIDString

public String getHelpIDString(Object object,
                              AWTEvent aWTEvent)

getHelpSet

public HelpSet getHelpSet(Object object,
                          AWTEvent aWTEvent)