Aggiornatori degli indicatori

Identificativo: org.eclipse.ui.markerUpdaters

Descrizione: questo punto di estensione è utilizzato per registrare strategie di aggiornamento degli indicatori con modelli di annotazioni di indicatore. Una risorsa aperta in un editor di testo viene associata a un modello di annotazioni di indicatore. Per ogni indicatore allegato alla risorsa, tale modello gestisce una posizione, che viene aggiornata con ogni modifica applicata al testo all'interno dell'editor. Se la risorsa viene salvata, il testo contenuto nell'editor e la posizione gestita per un indicatore vengono trasmessi alle strategie di aggiornamento degli indicatori registrate. Tali strategie possono quindi aggiornare gli attributi dell'indicatore basati sul testo e sulla posizione. Le strategie di aggiornamento degli indicatori consentono di implementare l'interfaccia org.eclipse.ui.texteditor.IMarkerUpdater e possono essere registrate per un tipo di indicatore specifico o per tutti i tipi. Per la seconda opzione occorre omettere qualsiasi tipo di indicatore nell'estensione.

Da: versione 1.0

Tag di configurazione:

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

Esempi:

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

In questo esempio viene registrato org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater come aggiornatore di indicatori per tutti gli indicatori del
tipo org.eclipse.search.searchmarker, compresi tutti i tipi derivati..

<extension point= "org.eclipse.ui.markerUpdaters">
    <updater
        id="org.eclipse.ui.texteditor.BasicMarkerUpdater">
        class="org.eclipse.ui.texteditor.BasicMarkerUpdater"
    </updater>
</extension>

In questo esempio viene registrato org.eclipse.ui.texteditor.BasicMarkerUpdater come aggiornatore di indicatori indipendente dal tipo dell'indicatore.

Informazioni API: gli aggiornatori degli indicatori registrati devono implementare l'interfaccia org.eclipse.ui.texteditor.IMarkerUpdater.

Copyright
IBM Corporation e altri 2000, 2002.