説明: この拡張ポイントは、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
>
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>