Programmes de mise à jour de marqueurs
Identificateur :
org.eclipse.ui.editors.markerUpdaters
Depuis :
3.0 (nommé à l'origine org.eclipse.ui.markerUpdaters)
Description :
Ce point
d'extension sert à enregistrer des stratégie 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>
- point - identificateur qualifié complet d'un point d'extension cible.
- id -identificateur facultatif de l'instance d'extension.
- name - nom facultatif de l'instance d'extension.
<!ELEMENT updater EMPTY>
<!ATTLIST updater
id CDATA #REQUIRED
markerType CDATA #IMPLIED
class CDATA #REQUIRED>
- id - ID unique de ce fournisseur.
- markerType - nom du type de marqueur.
- class - nom qualifié complet de la classe de mise à jour
du marqueur.
Exemples :
<extension point=
"org.eclipse.ui.editors.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.editors.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) 2001, 2004 IBM Corporation and others.
All rights reserved. Ce programme et les produits qui l'accompagnent
sont fournis sous licence v1.0 associée à cette distribution et
disponibles à l'adresse suivante :
http://www.eclipse.org/legal/cpl-v10.html