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 les attributs facultatifs markerType
et markerSeverity
.
<!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 associés sont
distribués sous licence v1.0 et disponibles à
l'adresse suivante :
http://www.eclipse.org/legal/epl-v10.html