Tipi di annotazioni

org.eclipse.ui.editors.annotationTypes

3.0

Un'annotazione è una parte di informazioni collegata ad una determinata regione di un documento di testo. Utilizzando questo punto di estensione è possibile definire nuovi tipi di annotazioni. Le annotazioni sono collegate a documenti attraverso il relativo modello di annotazione e possono essere visualizzate in viste o editor di testo. I tipi di annotazioni costituiscono una gerarchia: un tipo di annotazione può ridefinire un altro tipo specificandolo come proprio attributo super. Alcune annotazioni rappresentano la controparte degli indicatori (vedere org.eclipse.core.resources.IMarker), mentre altre esistono indipendentemente senza presentare una forma persistente. L'associazione tra tipi di indicatori e di annotazioni viene definita mediante gli attributi facoltativi markerType e markerSeverity attributes.

<!ELEMENT extension (type)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT type EMPTY>

<!ATTLIST type

name           CDATA #REQUIRED

markerType     CDATA #IMPLIED

super          CDATA #IMPLIED

markerSeverity (0|1|2) >

Una definizione di tipo di indicatore.



Questo è un estratto del plugin.xml per l'interfaccia utente JDT, che aggiunge le annotazioni di errore e avviso del compilatore Java:
   

<extension point=

"org.eclipse.ui.editors.annotationTypes"

>

<type name=

"org.eclipse.jdt.ui.error"

super=

"org.eclipse.ui.workbench.texteditor.error"

markerType=

"org.eclipse.jdt.core.problem"

markerSeverity=

"2"

>

</type>

<type name=

"org.eclipse.jdt.ui.warning"

super=

"org.eclipse.ui.workbench.texteditor.warning"

markerType=

"org.eclipse.jdt.core.problem"

markerSeverity=

"1"

>

</type>

<type name=

"org.eclipse.jdt.ui.info"

super=

"org.eclipse.ui.workbench.texteditor.info"

markerType=

"org.eclipse.jdt.core.problem"

markerSeverity=

"0"

>

</type>

</extension>

fare riferimento alla classe org.eclipse.jface.text.source.Annotation e al punto di estensione org.eclipse.ui.editors.markerAnnotationSpecification.