org.eclipse.ui.texteditor.IMarkerUpdater
. Las estrategias de
actualización se pueden registrar ya sea para un determinado tipo de marcador o
para todos los tipos. Esto último se logra omitiendo el tipo de marcador
en la extensión.
<!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>
<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>
Este ejemplo registra org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater como actualizador de todos los marcadores del tipo org.eclipse.search.searchmarker, incluidos todos los tipos derivados.
<extension point=
"org.eclipse.ui.editors.markerUpdaters"
>
<updater id=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
class=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
>
</updater>
</extension>
Este ejemplo registra org.eclipse.ui.texteditor.BasicMarkerUpdater como actualizador de marcadores independiente del tipo del marcador.
Copyright (c) 2001, 2004 IBM Corporation y otros.
Reservados todos los derechos. Este programa y sus materiales adjuntos están
disponibles bajo los términos de la licencia pública común (Eclipse Public
License) v1.0 que acompaña a esta distribución, y está disponible en
http://www.eclipse.org/legal/epl-v10.html