Types d'annotations

org.eclipse.ui.editors.annotationTypes

3.0

Une annotation est une information liée à une partie d'un document de texte. De nouveaux types d'annotations peuvent être définis avec ce point d'extension. Les annotations sont liées aux documents via leur modèle d'annotation et peuvent être affichées dans des éditeurs de texte et des vues. Les types d'annotations forment une hiérarchie : un type peut en préciser un autre en le mentionnant dans son attribut super. Certaines annotations servent d'équivalents de marqueurs dans l'interface utilisateur (voir org.eclipse.core.resources.IMarker), alors que d'autres existent sans forme définitive. Le mappage entre les marqueurs et les types d'annotations est déterminé par les attributs facultatifs markerType et markerSeverity.

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

Une définition de type de marqueur.



Il s'agit d'un extrait du fichier plugin.xml pour l'interface utilisateur JDT, qui ajoute les annotations d'erreur du compilateur Java et d'avertissement :
   

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

Voir la classe org.eclipse.jface.text.source.Annotation et le point d'extension org.eclipse.ui.editors.markerAnnotationSpecification.