Actualizadores de marcadores

Identificador: org.eclipse.ui.markerUpdaters

A partir del: Release 1.0

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ódigos XML de configuració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
   >

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 (c) 2000, 2003 IBM Corporation y otros. Reservados todos los derechos.