Erweiterungen für Java-Elementfilter

Kennung: org.eclipse.jdt.ui.javaElementFilters

Beschreibung: Mit Hilfe dieses Erweiterungspunkts können Sichten von Java-Benutzerschnittstellen mit Filtern erweitert werden.

Konfigurationsbefehle:

   <!ELEMENT extension (filter*)>

   <!ATTLIST extension
     point CDATA #REQUIRED
     id    CDATA #IMPLIED
     name  CDATA #IMPLIED
   >

   <!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
   >

Beispiele: Das folgende Beispiel ist die Definition eines Java-Elementfilters. Sie filtert untergeordnete Klassen heraus und ist anfänglich ausgewählt.

 <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>

Copyright (c) 2000, 2003 IBM Corporation und Andere. Alle Rechte vorbehalten.