Marcadores de recursos

Identificador: org.eclipse.core.resources.markers

Descripción: El espacio de trabajo da soporte a la idea de marcadores en recursos arbitrarios.  Un marcador es como un metadato (similar a las propiedades), que puede ser utilizado para etiquetar los recursos con la información del usuario.  Los marcadores persisten opcionalmente en el espacio de trabajo cada vez que se guarda o copia el espacio de trabajo.

Los usuarios pueden definir o 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 atributos numéricos que deben o deberían estar presentes en un marcador de ese tipo, además de si se cumple o no que los marcadores de ese tipo deban persistir.

El punto de extensión de los marcadores permite que los transcriptores de constructores registren las implementaciones de su constructor bajo un nombre simbólico, que es entonces utilizado desde el espacio de trabajo para encontrar y ejecutar constructores. El nombre simbólico constituye el identificador de la extensión del marcador. Al definir la extensión de un marcador, los usuarios son animados a incluir un valor humanamente legible para el atributo "name" que identifique su marcador y potencialmente pueda ser presentado a los usuarios.

Señalamiento de configuración:

   <!ELEMENT super EMPTY>
   <!ATTLIST super
      type          CDATA #REQUIRED
   >

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

A continuación vemos un ejemplo de configuración de un constructor:

   <extension id="com.xyz.coolMarker" point="org.eclipse.core.resources.markers" name="Cool Marker">
      <transient value="false"/>
      <super type="org.eclipse.core.resources.problemmarker"/>
      <super type="org.eclipse.core.resources.textmarker"/>
      <attribute name="owner"/>
   </extension>

Información del API: Todos los marcadores, sin importar de qué tipo, son instancias de org.eclipse.core.resources.IMarker.

Herramientas proporcionadas: 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, 2001.  Reservados todos los derechos.