<!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.
<!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.
<!ELEMENT markerTypeCategory (markerTypeReference)>
<!ATTLIST markerTypeCategory
name CDATA #REQUIRED>
L'élément markerTypeCategory sert à regrouper les types de marqueur en une catégorie.
<!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.
<!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.
<!ELEMENT markerAttributeMapping EMPTY>
<!ATTLIST markerAttributeMapping
value CDATA #REQUIRED
markerGroupingEntry CDATA #REQUIRED>
Un élément markerAttributeMapping associe un attribut de marqueur à un nom.
<!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.
<!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
<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>
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