Java Reference
In-Depth Information
Description:
This extension-point facilitates the configuration of providers
for the
MarkerNavigationService
(
org.eclipse.gmf.runtime.
common.ui.services.marker.MarkerNavigationService
).
The
MarkerNavigationService
enables clients to perform the navigation
feedback when the user double-clicks on or “goes to” a marker reference. The
attribute values defined on the marker identify a location or locations in the
resource that are of interest to the user. The feedback associated with navigation
to that location depends on the resource and its associated editors. The feedback
might simply be selecting the appropriate object(s) specified by the marker's loca-
tion, or the feedback could involve a separate dialog to describe the reason for
the marker (such as errors).
To use the
MarkerNavigationService
, a client should define its own
marker types and create the marker instances on the appropriate resources.
Markers created on the workspace root are not navigable.
Configuration markup:
<!ELEMENT extension (MarkerNavigationProvider)>
<!ELEMENT MarkerNavigationProvider (Priority , MarkerType+ , Policy?)>
<!ATTLIST MarkerNavigationProvider
class CDATA #REQUIRED>
class
—The provider class that is a subclass of
org.eclipse.gmf.
runtime.common.core.service.AbstractProvider
and implements
org.eclipse.gmf.runtime.common.ui.services.marker.
IMarkerNavigationProvider
.
<!ELEMENT Priority EMPTY>
<!ATTLIST Priority
name (Lowest|Low|Medium|High|Highest) >
name
—The name of the provider priority—
Lowest
,
Low
,
Medium
,
High
, or
Highest
.
<!ELEMENT MarkerType EMPTY>
<!ATTLIST MarkerType
name CDATA #REQUIRED>
Search WWH ::
Custom Search