Marcadores de recursos

org.eclipse.core.resources.markers

El área de trabajo da soporte al concepto de marcadores en recursos arbitrarios. Un marcador es un tipo 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.

<!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>


A continuación figura un ejemplo de configuración de marcador:

   

<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>

Todos los marcadores, sin importar de qué tipo, son instancias de org.eclipse.core.resources.IMarker.

La propia plataforma presenta diversos tipos predefinidos de marcadores. La instalación de algunos productos en particular puede incluir marcadores adicionales en caso necesario.