Erweiterungen für Java-Elementfilter

Kennung: org.eclipse.jdt.ui.javaElementFilters

Beschreibung: Mit diesem Erweiterungspunkt wird die Gruppe der verfügbaren Filter erweitert, die durch die Sicht "Pakete" bereitgestellt wird.

Konfigurationsbefehle:

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

Beispiele:

Das folgende Beispiel stellt die Definition eines Musterfilters dar. Dieser Filter extrahiert untergeordnete Klassen und ist anfänglich ausgewählt:

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

Copyright IBM Corporation 2000