Annotatietypen

org.eclipse.ui.editors.annotationTypes

3.0

Een annotatie is een stukje informatie dat gekoppeld is aan een bepaald gebied van een tekstdocument. Met dit extensiepunt kunnen nieuwe annotatietypen worden gedefinieerd. Annotaties worden aan documenten gekoppeld via het annotatiemodel en kunnen worden weergegeven in teksteditors en views. Annotatietypen vormen een hiėrarchie: een annotatietype kan een ander type verfijnen door het op te geven in het super-kenmerk. Sommige annotaties dienen als gebruikersinterface-tegenhanger van merktekens (zie org.eclipse.core.resources.IMarker), terwijl andere op zichzelf kunnen bestaan zonder dat de vorm in stand kan worden gehouden. Het toewijzen tussen merktekens en annotatietypen wordt gedefinieerd door de optionele kenmerken markerType en 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) >

Een definitie van het merktekentype.



Dit is een uittreksel van het bestand plugin.xml voor JDT UI, waarmee Java-compileerprogrammafouten en waarschuwingsannotaties worden toegevoegd:
   

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

Zie de klasse org.eclipse.jface.text.source.Annotation en het extensiepunt org.eclipse.ui.editors.markerAnnotationSpecification.