| java.lang.Object org.eclipse.ui.internal.ide.registry.MarkerHelpRegistry
MarkerHelpRegistry | public class MarkerHelpRegistry implements IMarkerHelpRegistry(Code) | | This class is a registry for marker help contexts and resolutions.
|
addHelpQuery | public void addHelpQuery(MarkerQuery query, MarkerQueryResult result, IConfigurationElement element)(Code) | | Adds a help query to the registry.
Parameters: query - a marker query Parameters: result - a result for the given query Parameters: element - the configuration element defining the result |
addResolutionQuery | public void addResolutionQuery(MarkerQuery query, MarkerQueryResult result, IConfigurationElement element)(Code) | | Adds a resolution query to the registry.
Parameters: query - a marker query Parameters: result - a result for the given query Parameters: element - the configuration element defining the result |
hasResolutions | public boolean hasResolutions(IMarker marker)(Code) | | |
|
|