Programmes de mise à jour de marqueurs

Identificateur : org.eclipse.ui.markerUpdaters

Depuis la version 1.0

Description : ce point d'extension est utilisé pour enregistrer des stratégies de mise à jour de marqueurs avec des modèles d'annotation de marqueurs. Une ressource ouverte dans un éditeur de texte est associée à un modèle de ce genre. Pour chaque marqueur lié à une ressource, ce modèle gère une position mise à jour avec chaque modification apportées au texte. Si la ressource est sauvegardée, le texte et la position gérée pour un marqueur sont transmis aux stratégies de mise à jour de marqueurs. Ces stratégies peuvent alors mettre à jour les attributs du marqueur en fonction du texte et de la position. Les stratégies de mise à jour sont demandées pour implémenter l'interface org.eclipse.ui.texteditor.IMarkerUpdater. Elles peuvent être enregistrées pour un type déterminé de marqueur ou pour tous les types de marqueurs. Dans le second cas, il s'agit de ne préciser aucun type dans l'extension.

Marques de configuration :

   <!ELEMENT extension (updater*)>

   <!ATTLIST extension
     point CDATA #REQUIRED
     id    CDATA #IMPLIED
     name  CDATA #IMPLIED
   >

   <!ELEMENT updater EMPTY>

   <!ATTLIST updater
      id         CDATA #REQUIRED
     markerType CDATA #IMPLIED
     class      CDATA #REQUIRED
   >

Exemples :
<extension point= "org.eclipse.ui.markerUpdaters">
    <updater
  id="org.eclipse.jdt.ui.markerUpdaters.JavaSearchMarkerUpdater"
  class="org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater"
  markerType="org.eclipse.search.searchmarker">
    </updater>
</extension> 

Cet exemple enregistre org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater comme programme de mise à jour pour tous les marqueurs de type org.eclipse.search.searchmarker et ses types dérivés.

<extension point= "org.eclipse.ui.markerUpdaters">
    <updater
  id="org.eclipse.ui.texteditor.BasicMarkerUpdater"
  class="org.eclipse.ui.texteditor.BasicMarkerUpdater">
    </updater>
</extension> 

Cet exemple enregistre org.eclipse.ui.texteditor.BasicMarkerUpdater comme programme de mise à jour indépendant du type de marqueur.

Informations d'API : les programmes de mise à jour de marqueurs enregistrés doivent implémenter l'interface org.eclipse.ui.texteditor.IMarkerUpdater.

Copyright (c) 2000, 2003 IBM Corporation and others. All Rights Reserved.