Estensioni di filtro per elementi Java

Identificativo: org.eclipse.jdt.ui.javaElementFilters

Descrizione: questo punto di estensione è utilizzato per estendere la serie di filtri disponibili forniti dalla visualizzazione Pacchetti.

Tag di configurazione:

   <!ELEMENT wizard EMPTY>
   <!ATTLIST wizard
      pattern CDATA #REQUIRED
      selected CDATA #IMPLIED
   >

Esempi:

Di seguito è riportato un esempio di una definizione di filtro modello. Tale definizione filtra le classi interne ed è selezionata inizialmente:

   <extension point="org.eclipse.jdt.ui.javaElementFilters">
      <filter
         pattern="*$*.class"
         selected="true">
      </filter>
   </extension>

Copyright IBM Corporation 2000