Marcadores de recursos

Identificador: org.eclipse.core.resources.markers

Descripción: 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.

Códigos XML de configuración:

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

Ejemplos: a continuación figura un ejemplo de configuración de constructor:

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

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 diversos tipos predefinidos de marcadores. La instalación de algunos productos en particular puede incluir marcadores adicionales en caso necesario.

Copyright (c) 2002 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 (Common Public License) v1.0 que acompaña a esta distribución, y está disponible en http://www.eclipse.org/legal/cpl-v10.html