Java エレメント・フィルター

ID: org.eclipse.jdt.ui.javaElementFilters

説明: この拡張ポイントは、Java UI ビューをフィルターで拡張するために使用されます。

構成マークアップ:

   <!ELEMENT filter EMPTY>
   <!ATTLIST filter
      id              CDATA          #IMPLIED
      name            CDATA          #IMPLIED
      description     CDATA          #IMPLIED
      viewId          CDATA          #IMPLIED
      class*          CDATA          #IMPLIED
      enabled         (true | false) #IMPLIED
      pattern*        CDATA          #IMPLIED
   >

*) これらのうち 1 つが存在している必要があります 例:

Java エレメント・フィルター定義の例を以下に示します。 これはライブラリーをフィルターに掛けるもので、最初は使用不可になっています。

   <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 IBM Corporation 2000, 2002. All Rights Reserved.