Aggiornatori degli indicatori

Identificativo: org.eclipse.ui.markerUpdaters

Da: versione 1.0

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

Tag di configurazione:

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

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> 

Questo esempio registra org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater come aggiornatore degli indicatori per tutti gli indicatori di tipo org.eclipse.search.searchmarker, inclusi 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 (c) 2000, 2003 IBM Corporation e altri. Tutti i diritti riservati.