Marqueurs de ressource

Identificateur : org.eclipse.core.resources.markers

Description : l'espace de travail supporte la notion de marqueurs sur des ressources arbitraires. Un marqueur est une sorte de métadonnée (similaire aux propriétés) qui peut être utilisée pour marquer les ressources avec des informations utilisateur. Les marqueurs peuvent être éventuellement conservés par l'espace de travail à chaque sauvegarde ou cliché de l'espace de travail.

Les utilisateurs peuvent définir et demander des marqueurs d'un type donné. Les types de marqueur sont définis dans une hiérarchie qui prend en charge des héritages multiples. Les définitions de type de marqueur indiquent également un certain nombre d'attributs qui doivent ou peuvent être présents sur un marqueur de ce type ainsi que si les marqueurs de ce type doivent ou non être conservés.

Le point d'extension des marqueurs permet aux éditeurs de marqueur d'enregistrer leur types de marqueur sous un nom symbolique qui est ensuite utilisé dans l'espace de travail pour créer et demander des marqueurs. Ce nom symbolique est l'ID de l'extension du marqueur. Lors de la définition d'une extension de marqueur, les utilisateurs sont encouragés à inclure une valeur lisible par l'homme pour l'attribut "name" (nom) qui identifie leur marqueur et qui peut être potentiellement présenté aux utilisateurs.

Marques de configuration :

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

Exemples : L'exemple suivant illustre une configuration de générateur :

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

Informations d'API : Tous les marqueurs, quel que soit leur type, sont des instances de org.eclipse.core.resources.IMarker.

Implémentation fournie : la plateforme comporte un certain nombre de types de marqueur prédéfinis. Un produit particulier peut inclure les marqueurs requis.

Copyright (c) 2002 IBM Corporation and others. All rights reserved. Ce programme et les produits qui l'accompagnent sont fournis sous licence v1.0 associée à cette distribution et disponibles à l'adresse suivante : http://www.eclipse.org/legal/cpl-v10.html