Actualizadores de marcadores

org.eclipse.ui.editors.markerUpdaters

3.0 (originariamente denominado org.eclipse.ui.markerUpdaters)

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.

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

Los actualizadores de marcadores deben implementar la interfaz org.eclipse.ui.texteditor.IMarkerUpdater.