Extensions de filtrage des éléments Java

Identificateur : org.eclipse.jdt.ui.javaElementFilters

Description: Ce point d'extension sert à étendre le jeu de filtres disponibles fournis par la vue Packages.

Marques de configuration :

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

Exemples :

Voici un exemple de définition de masque de filtrage. Ce filtre exerce son action sur les classes internes et il est initialement sélectionné :

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

Copyright IBM Corporation 2000