super
.
Certaines annotations servent d'équivalents de marqueurs dans
l'interface utilisateur (voir
org.eclipse.core.resources.IMarker
), alors que
d'autres existent sans forme définitive. Le mappage entre les marqueurs et les types d'annotations est
déterminé par l'attribut facultatif markerType
.
<!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) >
Une définition de type de marqueur.
<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, 2004 IBM Corporation and others.
All rights reserved. Ce programme et les produits qui l'accompagnent
sont fournis sous licence v1.0 associée à cette distribution et
disponibles à l'adresse suivante :
http://www.eclipse.org/legal/cpl-v10.html