Les utilisateurs peuvent définir et demander des marqueurs d'un type donné. Les types de marqueur sont définis dans une hiérarchie qui prend en charge des héritages multiples. Les définitions de type de marqueur indiquent également un certain nombre d'attributs qui doivent ou peuvent être présents sur un marqueur de ce type ainsi que si les marqueurs de ce type doivent ou non être conservés.
Le point d'extension des marqueurs permet aux éditeurs de marqueur d'enregistrer leur types de marqueur sous un nom symbolique qui est ensuite utilisé dans l'espace de travail pour créer et demander des marqueurs. Ce nom symbolique est l'ID de l'extension du marqueur. Lors de la définition d'une extension de marqueur, les utilisateurs sont encouragés à inclure une valeur lisible par l'homme pour l'attribut "name" (nom) qui identifie leur marqueur et qui peut être potentiellement présenté aux utilisateurs.
<!ELEMENT extension (super* , persistent? , attribute*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
<!ELEMENT super EMPTY>
<!ATTLIST super
type CDATA #REQUIRED>
<!ELEMENT persistent EMPTY>
<!ATTLIST persistent
value (true | false) >
<!ELEMENT attribute EMPTY>
<!ATTLIST attribute
name CDATA #REQUIRED>
<extension id=
"com.xyz.coolMarker"
point=
"org.eclipse.core.resources.markers"
name=
"Cool Marker"
>
<persistent value=
"true"
/>
<super type=
"org.eclipse.core.resources.problemmarker"
/>
<super type=
"org.eclipse.core.resources.textmarker"
/>
<attribute name=
"owner"
/>
</extension>
Copyright (c) 2002, 2005 IBM Corporation and others.
All rights reserved. Ce programme et les produits associés sont
distribués sous licence publique Eclipse v1.0 et disponibles à
l'adresse suivante :
http://www.eclipse.org/legal/epl-v10.html