Gli utenti possono definire ed interrogare gli indicatori di un determinato tipo. I tipi di indicatore sono definiti in una gerarchia che supporta l'eredità multipla. Le definizioni del tipo di indicatore, inoltre, specificano alcuni attributi che devono o possono essere presenti su un indicatore di quel tipo, e se esso sia permanente o meno.
Il punto di estensione degli indicatori permette a chi scrive un indicatore di registrare i relativi tipi di indicatore con un nome simbolico da utilizzare dall'interno dello spazio di lavoro per creare e interrogare gli indicatori. Il nome simbolico rappresenta l'id dell'estensione dell'indicatore. Durante la definizione dell'estensione di un indicatore, si consiglia all'utente di includere un valore significativo per l'attributo "name", che identifica l'indicatore e potrebbe essere presentato all'utente.
<!ELEMENT extension (super* , persistent? , attribute*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
<!ELEMENT super EMPTY>
<!ATTLIST super
type CDATA #REQUIRED>
<!ELEMENT persistent EMPTY>
<!ATTLIST persistent
value (true | false) >
<!ELEMENT attribute EMPTY>
<!ATTLIST attribute
name CDATA #REQUIRED>
<extension id=
"com.xyz.coolMarker"
point=
"org.eclipse.core.resources.markers"
name=
"Cool Marker"
>
<persistent value=
"true"
/>
<super type=
"org.eclipse.core.resources.problemmarker"
/>
<super type=
"org.eclipse.core.resources.textmarker"
/>
<attribute name=
"owner"
/>
</extension>
Copyright (c) 2002, 2005 IBM Corporation e altri.
Tutti i diritti riservati. Questo programma e il materiale di accompagnamento sono disponibili secondo i termini della Eclipse Public
License v1.0 che sono distribuiti con il prodotto, e disponibili all'indirizzo
http://www.eclipse.org/legal/epl-v10.html