Résolutions de marqueurs

org.eclipse.ui.ide.markerResolution

3.0 (ajouté à l'origine dans la version 2.0 en tant que org.eclipse.ui.markerResolution)

Ce point d'extension sert à associer une générateur de résolution de marqueur à un type de marqueur spécifique (d'un certain genre ou possédant des valeurs d'attributs déterminées).

<!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>


L'exemple ci-dessous illustre l'extension d'un générateur de résolution de marqueur (notez le sous-élément et le mode d'utilisation des attributs) :

 

<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>

Dans cet exemple, un générateur de résolution de marqueur est associé à des marqueurs de type org.eclipse.ui.examples.readmetool.readmemarker dont l'attribut org.eclipse.ui.examples.redmetool.id a la valeur 1234.

Il est possible de fournir plusieurs générateurs d'aide sur les marqueurs pour un marqueur donné.