Tipos de anotación

org.eclipse.ui.editors.annotationTypes

3.0

Una anotación es un componente de información conectado a una región determinada de un documento de texto. Mediante este punto de extensión pueden definirse nuevos tipos de anotaciones. Las anotaciones se conectan a los documentos por medio de su modelo de anotaciones y pueden visualizarse en editores de texto y vistas. Los tipos de anotación forman una jerarquía: un tipo de anotación puede refinar otro tipo especificándolo en su atributo super. Algunas anotaciones actúan como contraparte de UI de los marcadores (consulte org.eclipse.core.resources.IMarker), mientras que otros existen por sí mismos sin forma persistente. La correlación entre marcadores y tipos de anotación se define mediante los atributos opcionales markerType y 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) >

Definición de tipo de marcador.



Este es un fragmento del archivo plugin.xml de la UI de JDT, que añade las anotaciones de errores y avisos de compilador 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>

Consulte la clase org.eclipse.jface.text.source.Annotation y el punto de extensión org.eclipse.ui.editors.markerAnnotationSpecification.