Anmerkungstypen

org.eclipse.ui.editors.annotationTypes

3.0

Eine Anmerkung ist ein Teil von Informationen, der zu einem bestimmten Bereich eines Textdokumentes hinzugefügt wird. Neue Arten von Anmerkungen können mit diesem Erweiterungspunkt definiert werden. Anmerkungen werden über ihr Anmerkungsmodell zu Dokumenten hinzugefügt und können in Texteditoren und Sichten angezeigt werden. Anmerkungstypen aus einer Hierarchie: Ein Anmerkungstyp kann einen anderen Typ verfeinern, indem er ihn in seinem Attribut super spezifiziert. Einige Anmerkungen dienen als Markierungsgegenstück der Benutzerschnittstelle (sieheorg.eclipse.core.resources.IMarker), während andere alleine und ohne beständige Form vorliegen. Die Zuordnung zwischen Markierungs- und Anmerkungstypen wird durch die optionalen Attribute markerType und markerSeverity definiert.

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

Markierungstypdefinition.



Dies ist eine Ausnahme aus dem Plug-in .xml für JDT UI, das den Fehler des Java-Compilers und Warnanmerkungen hinzufügt:
   

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

Siehe Erweiterungspunkt 'org.eclipse.jface.text.source.Annotation class' und 'org.eclipse.ui.editors.markerAnnotationSpecification'.