Filtri per elementi Java
Identificativo: org.eclipse.jdt.ui.javaElementFilters
Descrizione: questo punto di estensione viene utilizzato per estendere le visualizzazioni dell'interfaccia utente Java con i filtri.
Tag di configurazione:
<!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
>
*) è necessario che sia presente esattamente uno di questi
- id - un id univoco che verrà utilizzato per identificare questo filtro.
- name - un nome univoco che consente di identificare questo filtro nell'interfaccia utente. Questo attributo deve essere una stringa tradotta. Sebbene questo attributo non sia necessario per i filtri dei modelli (ossia quelli che utilizzano l'attributo pattern), si consiglia di assegnare comunque un nome, in caso contrario verrà utilizzata la stringa del modello stessa per rappresentare il filtro nell'interfaccia utente.
- description - una breve descrizione del filtro. Questo attributo deve essere una stringa tradotta.
- viewId - l'id della visualizzazione in cui viene fornito il filtro.
Se questo attributo manca, il filtro verrà fornito a tutte le visualizzazioni che utilizzano org.eclipse.jdt.ui.actions.CustomFiltersActionGroup.
- class - il nome della classe utilizzata per filtrare la visualizzazione. La classe deve estendere org.eclipse.jface.viewers.ViewerFilter
- enabled - il filtro verrà abilitato se questo attributo è presente e il valore è true. Molto probabilmente l'utente sarà in grado di ignorare questa impostazione nell'interfaccia utente.
- pattern - gli elementi il cui nome corrisponde a questo modello verranno nascosti.
Questo attributo è presente per consentire la compatibilità con le versioni precedenti e non deve essere più utilizzato. Tutte le visualizzazioni che consentono il plug-in di un filtro consentono anche di aggiungere filtri di modelli direttamente mediante l'interfaccia utente.
Esempi:
Di seguito è riportato l'esempio di una definizione di filtro di un elemento Java. Tale definizione filtra le librerie ed è inizialmente disabilitata:
<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>