org.eclipse.ui.resourceFilters

L'estensione dei filtri delle risorse consente ai plug-in di definire criteri utili per filtrare tipi di file nella vista di selezione risorse. L'estensione serve quando vengono utilizzati tipi di filtri speciali per rappresentare informazioni interne di plug-in e non si desidera che i file siano visualizzati nel workbench o manipolati dall'utente.

Il workbench filtra il modello ".*" per escludere file interni, come i metadati, dal pannello di selezione risorse. Nello stesso modo, il plug-in JDT filtra i file "*.class" per nascondere classi compilate.

Il tag per l'estensione dei filtri delle risorse č semplice.  Il seguente esempio č tratto dal workbench plugin.xml.

<extension
         point="org.eclipse.ui.resourceFilters">
      <filter
            selected="false"
            pattern=".*">
      </filter>
   </extension>

I filtri possono essere attivati dall'utente mediante il menu a discesa locale del pannello di selezione delle risorse.

Oltre a dichiarare il modello del filtro, pattern, il plug-in puņ utilizzare l'attributo selected per specificare se il filtro deve essere attivato nel pannello di selezione risorse.  L'operazione determina soltanto lo stato iniziale del modello di filtro.  L'utente puņ controllare i modelli di filtro attivi.

Copyright IBM Corporation e altri 2000, 2003.