リソース・フィルター

org.eclipse.ui.ide.resourceFilters

3.0 (リリース 1.0 で org.eclipse.ui.resourceFilters として追加)

この拡張ポイントは、「ナビゲーター」ビューなどのリソースを表示するビューに、定義済みのフィルターを追加するために使用します。 これらのフィルターを選択することにより、フィルター・パターンに一致する名前のリソースを非表示にすることができます。

<!ELEMENT extension (filter*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT filter (description?)>

<!ATTLIST filter

pattern  CDATA #REQUIRED

selected (true | false) "false">


<!ELEMENT description (#PCDATA)>

このフィルターの目的の説明。



クラス・ファイルをフィルターで除外するリソース・フィルター拡張の例を以下に示します。これはデフォルトで選択されます。

 

<extension point=

"org.eclipse.ui.ide.resourceFilters"

>

<filter pattern=

"*.class"

selected=

"true"

/>

</extension>