Extensiones de los filtros de elementos de Java

Identificador: org.eclipse.jdt.ui.javaElementFilters

Descripción: este punto de extensión se utiliza para ampliar el conjunto de filtros proporcionados por la vista Paquetes.

Códigos de configuración:

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

Ejemplos:

El siguiente es un ejemplo de una definición de filtro de patrón. Filtra las clases internas y se ha seleccionado inicialmente:

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

Copyright IBM Corporation 2000