Actualizadores de marcadores
Identificador:
org.eclipse.ui.editors.markerUpdaters
A partir del release:
3.0 (originariamente denominado org.eclipse.ui.markerUpdaters)
Descripción:
Este punto de extensión permite registrar
estrategias de actualización de marcadores en los modelos de anotación de
marcador. Un recurso que se abre en un editor de texto se asocia a un modelo de
anotación de marcador. Para cada marcador conectado al recurso, este modelo
gestiona una posición que se actualiza con cada cambio aplicado en el texto del
editor. Si el recurso se guarda, el texto del editor y la posición gestionada
de un marcador se pasan a las estrategias de actualización de marcadores
registrados. Luego, las estrategias pueden actualizar los atributos del
marcador basándose en el texto y en la posición. Las estrategias de
actualización de marcadores deben implementar la interfaz
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.
Código de configuración:
<!ELEMENT extension (updater*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point: identificador totalmente calificado del punto de extensión destino
- id: identificador opcional de la instancia de extensión
- name: nombre opcional de la instancia de extensión
<!ELEMENT updater EMPTY>
<!ATTLIST updater
id CDATA #REQUIRED
markerType CDATA #IMPLIED
class CDATA #REQUIRED>
- id: ID exclusivo de este proveedor.
- markerType: nombre del tipo de marcador.
- class: nombre calificado de la clase de actualizador de marcadores.
Ejemplos:
<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.
Información sobre las API:
Los actualizadores de
marcadores deben implementar la interfaz
org.eclipse.ui.texteditor.IMarkerUpdater.
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 (Common Public License) v1.0 que acompaña a
esta distribución, y está disponible en
http://www.eclipse.org/legal/cpl-v10.html