Description : ce point d'extension est utilisé pour associer un générateur de résolution de marqueur à un type spécifique de marqueur (d'un certain genre ou possédant des valeurs d'attributs déterminées).
Depuis : Version 2.0
Marques de configuration :
<!ELEMENT markerResolutionGenerator(attribute)*>
<!ATTLIST markerResolutionGenerator
class
CDATA #REQUIRED
markerType CDATA
#OPTIONAL
>
<!ELEMENT attribute EMPTY>
<!ATTLIST attribute
name
CDATA #REQUIRED
value
CDATA #REQUIRED
>
Voici un exemple d'extension de 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.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">
</attribute>
</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.readmetool.id possède la valeur 1234.
Informations d'API : plusieurs générateurs d'aide sur les marqueurs peuvent être fournis pour un marqueur donné.