Support des marqueurs
Identificateur :
org.eclipse.ui.ide.markerSupport
Depuis :
3.2
Description :
Le point d'extension Support des marqueurs définit des extensions aux outils du plan de travail qui affichent les marqueurs, tels que les incidents, les signets et les vues des tâches.
Marques de configuration :
<!ELEMENT extension (problemFilter* , markerTypeCategory* , markerGrouping* , markerGroupingEntry* , markerAttributeGrouping*)>
<!ATTLIST extension
point CDATA #REQUIRED
name CDATA #IMPLIED
id CDATA #IMPLIED>
<!ELEMENT problemFilter (selectedType)*>
<!ATTLIST problemFilter
enabled (true | false)
scope (ON_ANY|ON_SELECTED_ONLY|ON_SELECTED_AND_CHILDREN|ON_ANY_IN_SAME_CONTAINER)
onDescription CDATA #IMPLIED
severity (ERROR|WARNING|INFO)
name CDATA #REQUIRED
id CDATA #REQUIRED>
Un filtre d'incident est un filtre pouvant s'appliquer aux incidents.
- enabled - indique si ce filtre est activé ou non par défaut. Si rien n'est spécifié, la valeur est true.
- scope - portée du filtre. L'une des valeurs suivantes :
ON_ANY : n'importe quel élément du plan de travail
ON_SELECTED_ONLY : sur l'élément sélectionné
ON_SELECTED_AND_CHILDREN : sur l'élément sélectionné et son enfant
ON_ANY_IN_SAME_CONTAINER : sur n'importe quel élément ayant le même conteneur de niveau supérieur que la sélection
- onDescription - la description de l'incident à vérifier. Si cette valeur est précédée d'un !, la vérification portera sur la présence ou non de cette chaîne dans la description.
- severity - la gravité de l'incident pour lequel ce filtre est activé. Si cette valeur n'est pas définie, aucun filtrage par gravité n'est effectué. La gravité peut prendre les valeurs suivantes : ERROR, WARNING ou INFO.
- name - nom lisible du filtre.
- id - ID unique du filtre.
<!ELEMENT selectedType EMPTY>
<!ATTLIST selectedType
markerId CDATA #IMPLIED>
Les éléments selectedTypes sont les ID des types de marqueur sélectionnés par défaut dans ce filtre. Si aucun type n'est sélectionné, tous les types de marqueur sont activés. Les types qui ne sont pas spécifiés dans ce filtre sont désactivés par défaut.
- markerId - ID d'un marqueur activé par défaut.
<!ELEMENT markerTypeCategory (markerTypeReference)>
<!ATTLIST markerTypeCategory
name CDATA #REQUIRED>
L'élément markerTypeCategory sert à regrouper les types de marqueur en une catégorie.
- name - L'intitulé est le nom lisible affiché pour l'utilisateur.
<!ELEMENT markerTypeReference EMPTY>
<!ATTLIST markerTypeReference
id CDATA #REQUIRED>
L'élément markerTypeReference est une référence à un élément markerType défini à l'aide du point d'extension dans org.eclipse.core.resources.
- id - ID de l'élément markerType
<!ELEMENT markerGrouping EMPTY>
<!ATTLIST markerGrouping
label CDATA #REQUIRED
id CDATA #REQUIRED>
Un élément markerGrouping est la définition d'un critère de regroupement pour les vues des marqueurs qui le supportent (actuellement seulement les vues d'incident). L'ordre de tri du groupe est l'ordre de spécification des mappages d'attribut.
- label - le libellé est la chaîne lisible utilisée pour créer l'entrée dans le menu Regrouper par-> pour ce regroupement de marqueurs.
- id - l'ID est l'identificateur non traduisible de l'élément markerGrouping. Il est référencé dans un élément markerGroupingEntry.
<!ELEMENT markerAttributeMapping EMPTY>
<!ATTLIST markerAttributeMapping
value CDATA #REQUIRED
markerGroupingEntry CDATA #REQUIRED>
Un élément markerAttributeMapping associe un attribut de marqueur à un nom.
- value - valeur de l'attribut value utilisé dans ce mappage.
- markerGroupingEntry - ID de l'élément markerGroupingEntry auquel est associée cette valeur d'attribut.
<!ELEMENT markerGroupingEntry EMPTY>
<!ATTLIST markerGroupingEntry
id CDATA #REQUIRED
markerGrouping CDATA #REQUIRED
label CDATA #REQUIRED
priority CDATA #REQUIRED>
Un élément markerGroupingEntry correspond à la spécification d'une des entrées d'un élément markerGrouping.
- id - ID de l'élément markerGroupingEntry. Il est référencé dans un élément markerAttributeGrouping.
- markerGrouping - l'élément markerGrouping est l'ID de l'élément markerGrouping auquel cette entrée sera ajoutée.
- label - libellé traduisible de l'entrée.
- priority - priorité de l'entrée. Les priorités les plus élevées sont affichées en haut de la liste.
<!ELEMENT markerAttributeGrouping (markerAttributeMapping*)>
<!ATTLIST markerAttributeGrouping
markerType CDATA #REQUIRED
attribute CDATA #IMPLIED
defaultGroupingEntry CDATA #IMPLIED>
L'élément markerAttributeGrouping est une définition des mappages d'attribut d'un élément markerType spécifique
- markerType - ID de l'élément markerType auquel ce regroupement s'applique.
- attribute - l'attribut correspond au nom de l'attribut à tester. S'il n'est pas indiqué, seul l'élément defaultGroupingEntry sera coché.
- defaultGroupingEntry - l'élément defaultGroupingEntry est la catégorie facultative des regroupements qui ne correspondent à un aucun élément markerAttributeMappings dans le récepteur. Cette valeur par défaut est appliquée lorsque la valeur de l'attribut ne correspond pas à un mappage ou lorsque l'attribut n'est pas disponible.
Exemples :
L'exemple ci-dessous illustre la définition d'un filtre d'incident dans le support de marqueur. Il affiche uniquement les avertissements java émis sur l'élément sélectionné et ses enfants et filtre ceux comportant la chaîne NON-NLS
<extension point=
"org.eclipse.ui.ide.markerSupport"
>
<problemFilter
name =
"Avertissements"
id =
"org.eclipse.example.warningFilter"
enabled =
"true"
scope=
"ON_SELECTED_AND_CHILDREN"
onDescription=
"!NON-NLS"
severity=
"WARNING"
>
<selectedType
markerId=
"org.eclipse.core.resources.problemmarker"
/>
</problemFilter>
</extension>
Informations d'API :
[Entrer les informations d'API ici.]
Implémentation fournie :
[Entrer
les informations sur l'implémentation fournie de ce point d'extension.]
Copyright (c) 2005, 2006 IBM Corporation and others.
All rights reserved. Ce programme et les produits associés sont
distribués sous licence v1.0 et disponibles à
l'adresse suivante :
http://www.eclipse.org/legal/epl-v10.html