Java-elementfilterextensies
Identifier:
org.eclipse.jdt.ui.javaElementFilters
Beschrijving:
Dit extensiepunt wordt gebruikt voor het uitbreiden van Java-gebruikersinterfaceviews met filters.
Configuratiemarkup:
<!ELEMENT extension (filter*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - een volledig gekwalificeerd ID van het doelextensiepunt
- id - een optioneel ID van de extensie-instance
- name - een optionele naam van de extensie-instance
<!ELEMENT filter EMPTY>
<!ATTLIST filter
id CDATA #IMPLIED
name CDATA #IMPLIED
description CDATA #IMPLIED
targetId CDATA #IMPLIED
enabled (true | false)
pattern CDATA #IMPLIED
class CDATA #IMPLIED>
- id - een unieke naam die wordt gebruikt voor het identificeren van deze filter
- name - een unieke naam waarmee deze filter in de gebruikersinterface kan worden geïdentificeerd. Dit kenmerk moet een vertaalde tekenreeks zijn. Hoewel dit kenmerk niet vereist is voor modelfilters (d.w.z. de filters die het model-kenmerk gebruiken), is het aan te raden toch een naam te geven. Als u dit niet doet, wordt de tekenreeks van het model zelf gebruikt om de filter in de gebruikersinterface aan te geven.
- description - een korte beschrijving voor deze filter. Dit kenmerk moet een vertaalde tekenreeks zijn.
- targetId - het ID van het doel waar de filter wordt aangeleverd. Als dit kenmerk ontbreekt, wordt de filter aangeleverd aan alle views die org.eclipse.jdt.ui.actions.customFiltersActionGroup gebruiken. Hiermee wordt het gedeprecieerde, toegewezen "viewId" vervangen.
- enabled - de filter wordt geactiveerd als dit kenmerk aanwezig is en de waarde "true" is. Meestal kan de gebruiker deze instelling in de gebruikersinterface negeren.
- pattern - de elementen waarvan de naam overeenkomt met dit model worden verborgen. Dit kenmerk is bedoeld voor achterwaartse compatibiliteit en moet niet meer worden gebruikt. Voor alle views die inpluggen van een filter mogelijk maken, geldt ook dat modelfilters direct via de gebruikersinterface kunnen worden toegevoegd.
- class - de naam van de klasse die wordt gebruikt voor het filteren van de view. De klasse moet org.eclipse.jface.viewers.ViewerFilter uitbreiden. Als dit kenmerk aanwezig is, moet het kenmerk Pattern niet worden geleverd.
Voorbeelden:
Een voorbeeld van een definitie van een Java-elementfilter:
De filter filtert de binnenklassen uit en wordt bij het begin geselecteerd.
<extension point=
"org.eclipse.jdt.ui.javaElementFilters"
>
<filter
id=
"org.eclipse.jdt.ui.PackageExplorer.LibraryFilter"
name=
"%HideReferencedLibraries.label"
description=
"%HideReferencedLibraries.description"
targetId=
"org.eclipse.jdt.ui.PackageExplorer"
class=
"org.eclipse.jdt.internal.ui.filters.LibraryFilter"
enabled=
"false"
>
</filter>
</extension>
Copyright (c) 2001, 2004 IBM Corporation en anderen.
Alle rechten voorbehouden. Dit programma en het begeleidende materiaal zijn beschikbaar gesteld onder de voorwaarden van de Eclipse Public License v1.0 die bij deze distributie is geleverd en beschikbaar is op http://www.eclipse.org/legal/epl-v10.html.