Типы аннотаций

org.eclipse.ui.editors.annotationTypes

3.0

Аннотация - это фрагмент информации, присоединенный к какой-либо области текстового документа. С помощью этой точки расширения можно определить новые виды аннотаций. Аннотации подключаются к документам через их модели аннотации и могут отображаться в панелях и текстовых редакторах. Типы аннотаций подчиняются иерархии: один тип может уточнять другой, указывая его в своем атрибуте super. Некоторые аннотации служат выполняют в UI ту же роль, что и маркеры (см. org.eclipse.core.resources.IMarker), в то время как другие существуют самостоятельно, не имея постоянной формы. Соответствие между маркерами и типами аннотации определяется необязательными атрибутами markerType и 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) >

Определение типа маркера.



Выборка из файла plugin.xml для JDT UI, в которой добавляются аннотации для ошибок и предупреждений 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>

См. класс org.eclipse.jface.text.source.Annotation и точку расширения org.eclipse.ui.editors.markerAnnotationSpecification.