Descripción: el área de trabajo da soporte al concepto de marcadores en recursos arbitrarios. El marcador es como una clase de metadatos (similar a las propiedades) que permite marcar los recursos con información del usuario. Cada vez que se guarda el área de trabajo o se obtiene una instantánea de ella, esta puede dar opcionalmente persistencia a los marcadores.
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.
Códigos XML de configuración:
<!ELEMENT super EMPTY>
<!ATTLIST super
type
CDATA #REQUIRED
>
A continuación figura un ejemplo de configuración de un marcador:
<extension id="coolMarker" point="org.eclipse.core.resources.markers"
name="Marcador Atractivo">
<persistent value="true"/>
<super type="org.eclipse.core.resources.problemmarker"/>
<super type="org.eclipse.core.resources.textmarker"/>
<attribute name="owner"/>
</extension>
Información sobre las API: todos los marcadores, sin importar de qué tipo, son instancias de org.eclipse.core.resources.IMarker.
Implementación suministrada: la propia plataforma presenta muchos tipos predefinidos de marcadores. La instalación de algunos productos en particular puede incluir marcadores adicionales en caso necesario.