Extensiones de filtro de elementos Java
Identificador: org.eclipse.jdt.ui.javaElementFilters
Descripción: este punto de extensión permite ampliar las
vistas de la UI Java con filtros.
Códigos XML de configuración:
<!ELEMENT extension (filter*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED
>
- point: identificador totalmente calificado del punto de extensión destino
- id: identificador opcional de la instancia de la extensión
- name: nombre opcional de la instancia de la extensión
<!ELEMENT filter EMPTY>
<!ATTLIST filter
id CDATA #IMPLIED
name CDATA #IMPLIED
description CDATA #IMPLIED
viewId CDATA #IMPLIED
enabled (true | false)
pattern CDATA #IMPLIED
class CDATA #IMPLIED
>
- id: ID exclusivo que servirá para identificar este filtro.
- name: nombre exclusivo que permite identificar este filtro en la
UI. Este atributo debe ser una serie traducida. Aunque este atributo no es
obligatorio para filtros de tipo patrón (es decir, aquellos que utilizan el
atributo pattern), le sugerimos que aun así proporcione un nombre;
de lo contrario, se utilizará la propia serie del patrón para representar el
filtro en la UI.
- description: descripción corta de este filtro. Este atributo debe
ser una serie traducida.
- viewId: ID de la vista a la que se aporta este filtro como
contribución. Si falta este atributo, el filtro se aportará como contribución
en todas las vistas que utilicen
org.eclipse.jdt.ui.actions.customFiltersActionGroup.
- enabled: el filtro se habilitará si este atributo está presente y su
valor es "true". Probablemente, el usuario podrá alterar temporalmente este
valor en la UI.
- pattern: los elementos cuyos nombres coincidan con este patrón se
ocultarán. Este atributo se suministra aquí a efectos de compatibilidad con
versiones anteriores y ya no debe utilizarse. Todas las vistas que permiten
conectar un filtro también permiten añadir filtros de patrón directamente por
medio de la UI.
- class: nombre de la clase utilizada para filtrar la vista. La clase
debe ampliar org.eclipse.jface.viewers.ViewerFilter. Si este
atributo está presente, no hay que proporcionar el atributo pattern.
Ejemplos: el siguiente ejemplo ilustra una definición de filtro
de elementos Java. Filtra las clases internas (dejándolas fuera) y está
inicialmente seleccionado.
<extension point="org.eclipse.jdt.ui.javaElementFilters">
<filter
id="org.eclipse.jdt.ui.PackageExplorer.LibraryFilter"
name="%HideReferencedLibraries.label"
description="%HideReferencedLibraries.description"
viewId="org.eclipse.jdt.ui.PackageExplorer"
class="org.eclipse.jdt.internal.ui.filters.LibraryFilter"
enabled="false">
</filter>
</extension>