Extensões do Filtro de Elementos Java

Identificador: org.eclipse.jdt.ui.javaElementFilters

Descrição: Esse ponto de extensão é utilizado para estender o conjunto de filtros disponíveis fornecidos pela exibição Pacotes.

Marcação de Configuração:

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

Exemplos:

Segue um exemplo de definição de filtro de padrão. Ele filtra as classes internas e é inicialmente selecionado:

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

Copyright IBM Corporation 2000