Actualizadores de marcadores

Identificador: 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 conectaedo 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.

A partir del: Release 1.0

Códigos XML de configuración:

   <!ELEMENT updater EMPTY>
   <!ATTLIST updater
      markerType     CDATA #OPTIONAL
      class          CDATA #REQUIRED
      id             CDATA #REQUIRED
   >

Ejemplos:

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

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.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 registrados deben implementar la interfaz org.eclipse.ui.texteditor.IMarkerUpdater.

Copyright IBM Corporation y otros 2000, 2002.