Filtres de ressources
Identificateur :
org.eclipse.ui.ide.resourceFilters
Depuis :
3.0
(ajouté à l'origine dans la version 1.0 en tant que org.eclipse.ui.resourceFilters)
Description :
Ce point
d'extension sert à ajouter des filtres prédéfinis à des vues
montrant des ressources, telles que la vue Navigateur.
Ces filtres peuvent être sélectionnés pour masquer les ressources dont les noms correspondent au modèle du filtre.
Marques de configuration :
<!ELEMENT extension (filter*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - identificateur qualifié complet d'un point d'extension cible.
- id - identificateur facultatif de l'instance d'extension.
- name - nom facultatif de l'instance d'extension.
<!ELEMENT filter (description?)>
<!ATTLIST filter
pattern CDATA #REQUIRED
selected (true | false) "false">
- pattern - modèle avec lequel la correspondance doit
avoir lieu. Il peut contenir les caractères génériques * et ? .
- selected a la valeur "true" si le modèle doit être
sélectionné par défaut, "false" ou sans valeur dans le cas
contraire.
<!ELEMENT description (#PCDATA)>
la description du but de ce filtre.
Exemples :
L'exemple
ci-dessous illustre l'extension d'un filtre de ressource filtrant les
fichiers de classe et sélectionné par défaut :
<extension point=
"org.eclipse.ui.ide.resourceFilters"
>
<filter pattern=
"*.class"
selected=
"true"
/>
</extension>
Copyright (c) 2002, 2004 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