Aggiornatori degli indicatori

org.eclipse.ui.editors.markerUpdaters

3.0 (nome originale org.eclipse.ui.markerUpdaters)

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.

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

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

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