Επεκτάσεις φίλτρων στοιχείων Java

org.eclipse.jdt.ui.javaElementFilters

Αυτό το σημείο επέκτασης χρησιμοποιείται για την επέκταση προβολών περιβάλλοντος χρήστη Java με φίλτρα.

<!ELEMENT extension (filter*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT filter EMPTY>

<!ATTLIST filter

id          CDATA #IMPLIED

name        CDATA #IMPLIED

description CDATA #IMPLIED

targetId    CDATA #IMPLIED

enabled     (true | false)

pattern     CDATA #IMPLIED

class       CDATA #IMPLIED>


Ακολουθεί ένα παράδειγμα ορισμού φίλτρου στοιχείων Java. Φιλτράρει εσωτερικές κλάσεις και είναι επιλεγμένο από την αρχή.

 

<extension point=

"org.eclipse.jdt.ui.javaElementFilters"

>

<filter id=

"org.eclipse.jdt.ui.PackageExplorer.LibraryFilter"

name=

"%HideReferencedLibraries.label"

description=

"%HideReferencedLibraries.description"

targetId=

"org.eclipse.jdt.ui.PackageExplorer"

class=

"org.eclipse.jdt.internal.ui.filters.LibraryFilter"

enabled=

"false"

>

</filter>

</extension>