Aggiornatori degli indicatori
Identificativo:
org.eclipse.ui.editors.markerUpdaters
Da:
3.0 (nome originale 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 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>
- point - identificativo completo del punto di estensione di
destinazione
- id - identificativo dell'istanza dell'estensione
- name - nome dell'istanza dell'estensione facoltativo
<!ELEMENT updater EMPTY>
<!ATTLIST updater
id CDATA #REQUIRED
markerType CDATA #IMPLIED
class CDATA #REQUIRED>
- id - l'ID univoco del fornitore
- markerType - il nome del tipo di indicatore
- class - il nome completo della classe di aggiornatori
dell'indicatore
Esempi:
<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.
Informazione API:
gli aggiornatori
degli indicatori registrati devono implementare l'interfaccia
org.eclipse.ui.texteditor.IMarkerUpdater.
Copyright (c) 2001, 2004 IBM Corporation e altri.
Tutti i diritti riservati. Questo programma e il materiale di accompagnamento
sono disponibili secondo i termini della Common Public License v1.0 che sono
distribuiti con il prodotto, e disponibili all'indirizzo
http://www.eclipse.org/legal/cpl-v10.html