Filtres des éléments Java
Identificateur : org.eclipse.jdt.ui.javaElementFilters
Description : Ce point d'extension permet d'étendre les vues de l'interface utilisateur Java avec des vues.
Marques de configuration :
<!ELEMENT filter EMPTY>
<!ATTLIST filter
id CDATA #IMPLIED
name CDATA #IMPLIED
description CDATA #IMPLIED
viewId CDATA #IMPLIED
class* CDATA #IMPLIED
enabled (true
| false) #IMPLIED
pattern* CDATA #IMPLIED
>
*) l'un de ces éléments exactement doit exister
- id - ID unique utilisé pour identifier ce filtre.
- name -nom unique permettant d'identifier ce filtre dans l'interface utilisateur.
Cet attribut doit être une chaîne traduisible. Bien qu'il ne soit pas requis pour les filtres de modèles (c'est-à-dire ceux qui utilisent l'attribut pattern), nous vous suggérons tout de même de fournir un nom, sinon la chaîne du modèle elle-même sera utilisée pour représenter le filtre dans l'interface utilisateur.
- description - courte description pour ce filtre. Cet attribut doit être une chaîne traduisible.
- viewId - ID de la vue à laquelle le filtre est ajouté.
Si cet attribut est manquant, le filtre est ajouté à toutes les vues utilisant org.eclipse.jdt.ui.actions.CustomFiltersActionGroup.
- class - nom de la classe utilisée pour filtrer la vue. Elle doit étendre org.eclipse.jface.viewers.ViewerFilter
- enabled - le filtre est activé si cet attribut existe et que sa valeur est true. La plupart du temps, l'utilisateur pourra remplacer ce paramètre dans l'interface utilisateur.
- pattern - les éléments dont le nom correspond à ce modèle sont masqués.
Cet attribut est utile pour la compatibilité amont et ne doit plus être utilisé.
Toutes les vues auxquelles vous pouvez connecter un filtre permettent aussi d'ajouter des filtres de modèles directement via l'interface utilisateur.
Exemples :
Vous trouverez ci-après un exemple de définition de filtre d'éléments Java.
Il filtre les bibliothèques et est initialement désactivé.
<extension point="org.eclipse.jdt.ui.javaElementFilters">
<filter
id="org.eclipse.jdt.ui.PackageExplorer.LibraryFilter"
name="%HideReferencedLibraries.label"
description="%HideReferencedLibraries.description"
viewId="org.eclipse.jdt.ui.PackageExplorer"
class="org.eclipse.jdt.internal.ui.filters.LibraryFilter"
enabled="false">
</filter>
</extension>