Support des marqueurs

org.eclipse.ui.ide.markerSupport

3.2

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.

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



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>

[Entrer les informations d'API ici.]

[Entrer les informations sur l'implémentation fournie de ce point d'extension.]