Résolution de marqueur

Identificateur : org.eclipse.ui.markerResolution

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
   >

Exemples :

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

Copyright IBM Corporation and others 2000, 2002.