Filtri delle risorse
Identificativo:
org.eclipse.ui.ide.resourceFilters
Da:
3.0 (aggiunto nella versione 1.0 come
org.eclipse.ui.resourceFilters)
Descrizione:
Questo punto di estensione
consente di aggiungere filtri predefiniti alle viste che mostrano risorse, come la vista Selezione.
Tali filtri possono essere selezionati per nascondere risorse il cui nome corrisponda al modello del filtro.
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 (description?)>
<!ATTLIST filter
pattern CDATA #REQUIRED
selected (true | false) "false">
- pattern - il modello utilizzato per verificare la corrispondenza. Puņ contenere i caratteri * e ? .
- selected - "true" se il modello deve essere selezionato per impostazione predefinita, "false" o non definito in caso contrario.
<!ELEMENT description (#PCDATA)>
descrizione dello scopo del filtro.
Esempi:
Di seguito viene riportato un esempio
di punto di estensione per un filtro di risorse, attivo sui file di classe e selezionato per impostazione
predefinita:
<extension point=
"org.eclipse.ui.ide.resourceFilters"
>
<filter pattern=
"*.class"
selected=
"true"
/>
</extension>
Copyright (c) 2002, 2004 IBM Corporation e altri.
Tutti i diritti riservati. Questo programma e il materiale di accompagnamento sono disponibili secondo i termini della Eclipse Public
License v1.0 che sono distribuiti con il prodotto, e disponibili all'indirizzo
http://www.eclipse.org/legal/epl-v10.html