Resoluciones de marcador

org.eclipse.ui.ide.markerResolution

3.0 (originariamente añadido en el release 2.0 como org.eclipse.ui.markerResolution)

Este punto de extensión permite asociar un generador de resoluciones de marcador con un "tipo" específico de marcador (un marcador de un tipo determinado o que tiene determinados valores de atributo).

<!ELEMENT extension (markerResolutionGenerator*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT markerResolutionGenerator (attribute*)>

<!ATTLIST markerResolutionGenerator

class      CDATA #REQUIRED

markerType CDATA #IMPLIED>


<!ELEMENT attribute EMPTY>

<!ATTLIST attribute

name  CDATA #REQUIRED

value CDATA #REQUIRED>


A continuación figura un ejemplo de extensión de generador de resoluciones de marcador (observe el subelemento y la manera de utilizar los atributos):

 

<extension point=

"org.eclipse.ui.ide.markerResolution"

>

<markerResolutionGenerator class=

"org.eclipse.ui.examples.readmetool.ReadmeMarkerResolutionGenerator"

markerType=

"org.eclipse.ui.examples.readmetool.readmemarker"

>

<attribute name=

"org.eclipse.ui.examples.readmetool.id"

value=

"1234"

/>

</markerResolutionGenerator>

</extension>

En el ejemplo anterior hay un generador de resoluciones de marcador asociado a los marcadores de tipo org.eclipse.ui.examples.readmetool.readmemarker cuyo atributo org.eclipse.ui.examples.redmetool.id tiene el valor 1234.

Se puede suministrar más de un generador de ayuda de marcadores para un marcador dado.