Estensioni di filtro per elementi Java
Identificativo: org.eclipse.jdt.ui.javaElementFilters
Descrizione: questo punto di estensione viene utilizzato per estendere le viste dell'interfaccia utente Java con i filtri.
Tag di configurazione:
<!ELEMENT extension (filter*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA
#IMPLIED
name CDATA
#IMPLIED
>
- point - identificativo completo del punto di estensione di
destinazione
- id - identificativo dell'istanza dell'estensione
- name - nome dell'istanza dell'estensione facoltativo
<!ELEMENT filter EMPTY>
<!ATTLIST filter
id CDATA
#IMPLIED
name CDATA
#IMPLIED
description CDATA #IMPLIED
viewId CDATA #IMPLIED
enabled (true | false)
pattern CDATA #IMPLIED
class CDATA #IMPLIED
>
- 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 visualizzabile. 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 la stringa del modello stessa verrà utilizzata per
rappresentare il filtro nell'interfaccia utente.
- description - una breve descrizione del filtro. Questo attributo
deve essere una stringa visualizzabile.
- viewId - l'id della vista in cui viene fornito il filtro. Se questo attributo manca, il filtro verrà fornito a tutte le viste
che utilizzano org.eclipse.jdt.ui.actions.customFiltersActionGroup.
- 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 viste che consentono il plug-in di un filtro consentono anche di aggiungere filtri di modelli direttamente mediante l'interfaccia utente.
- class - il nome della classe utilizzata per filtrare la vista. La
classe deve estendere org.eclipse.jface.viewers.ViewerFilter. Se è
presente questo attributo, l'attributo di modello non viene fornito.
Esempi: di seguito è riportato un esempio di filtro per elementi Java. Tale definizione filtra le classi interne ed è selezionata inizialmente.
<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>