Los usuarios pueden definir y consultar los marcadores de un tipo determinado. Los tipos de marcadores están definidos en una jerarquía que da soporte a herencia múltiple. Las definiciones de tipos de marcadores también especifican cierta cantidad de atributos que deben o pueden estar presentes en un marcador de ese tipo, además de especificar si se debe dar o no persistencia a los marcadores de ese tipo.
El punto de extensión de los marcadores permite a los escritores de marcadores registrar los tipos de marcadores bajo un nombre simbólico, que luego se utiliza desde dentro del área de trabajo para crear y consultar marcadores. El nombre simbólico es el ID de la extensión del marcador. Al definir la extensión de un marcador, se anima a los usuarios a que incluyan para el atributo "name" un valor legible por personas que identifique el marcador y pueda presentarse potencialmente a los usuarios.
<!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 y otros.
Reservados todos los derechos. Este programa y sus materiales adjuntos están
disponibles bajo los términos de la licencia pública común (Eclipse Public
License) v1.0 que acompaña a esta distribución, y está disponible en
http://www.eclipse.org/legal/epl-v10.html