Indicatori delle risorse

org.eclipse.core.resources.markers

Lo spazio di lavoro supporta la nozione di indicatori per le risorse arbitrarie. Un indicatore è un tipo di metadati (simile alle proprietà), che può essere utilizzato per contrassegnare le risorse con informazioni dell'utente. Gli indicatori sono opzionalmente resi permanenti dallo spazio di lavoro quando viene effettuato un salvataggio dello spazio di lavoro o uno snapshot.

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>


Di seguito è riportato un esempio di configurazione dell'indicatore:

   

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

Tutti gli indicatori, indipendentemente dal tipo, rappresentano istanze di org.eclipse.core.resources.IMarker.

La piattaforma è dotata di alcuni tipi di indicatore predefiniti. Installazioni particolari del prodotto potrebbero comprendere ulteriori indicatori, secondo le esigenze.