Marcadores de recursos

Identificador: org.eclipse.core.resources.markers

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
   >

   <!ELEMENT persistent EMPTY>
   <!ATTLIST persistent
      value        CDATA #REQUIRED
   >    <!ELEMENT attribute EMPTY>
   <!ATTLIST attribute
      name        CDATA #REQUIRED
   > Ejemplos:

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.

Copyright IBM Corp. 2000, 2002. Reservados todos los derechos.