Java エレメントのフィルター拡張

ID: org.eclipse.jdt.ui.javaElementFilters

説明: この拡張ポイントは、パッケージ・ビューが提供している 使用可能なフィルターのセットを拡張するために使用されます。

構成マークアップ:

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

例:

パターン・フィルター定義の例を以下に示します。この定義は、内部クラスを取り出し、初期選択されます。

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

Copyright IBM Corporation 2000