super
attribute.
Some annotations serve as the UI counterpart of markers (see org.eclipse.core.resources.IMarker
), while others exist on their own without having a persistable form. The mapping between markers and annotation types is defined by the optional markerType
and markerSeverity
attributes.
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
<!ELEMENT type EMPTY>
<!ATTLIST type
name CDATA #REQUIRED
markerType IDREF #IMPLIED
super IDREF #IMPLIED
markerSeverity (0|1|2) >
A marker type definition.
org.eclipse.ui.editors.markerAnnotationSpecification
.<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>
Copyright (c) 2001, 2008 IBM Corporation and others.
This program and the accompanying materials are made available under the terms of the Eclipse Public License 2.0 which accompanies this distribution, and is available at https://www.eclipse.org/legal/epl-v20.html/
SPDX-License-Identifier: EPL-2.0