Pagine di ricerca

org.eclipse.search.searchPages

Questo punto di estensione consente a un plugin di registrare pagine di ricerca per ricerche specializzate. Quando l'azione di ricerca viene eseguita su una risorsa, l'infrastruttura della ricerca localizza la pagina di ricerca registrata più specifica.

<!ELEMENT extension (page*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT page EMPTY>

<!ATTLIST page

id                         CDATA #REQUIRED

label                      CDATA #REQUIRED

class                      CDATA #REQUIRED

icon                       CDATA #IMPLIED

sizeHint                   CDATA #IMPLIED

tabPosition                CDATA #IMPLIED

extensions                 CDATA #IMPLIED

searchViewHelpContextId    CDATA #IMPLIED

showScopeSection           (true | false)

enabled                    (true | false)

canSearchEnclosingProjects (true | false) >


Di seguito è riportato un esempio di definizione dell'estensione della pagina di ricerca:

   

<extension point=

"org.eclipse.search.searchPages"

>

<page id=

"org.eclipse.search.ui.text.TextSearchPage"

label=

"Text Search"

icon=

"icons/full/obj16/tsearch_pref.gif"

sizeHint=

"250,160"

tabPosition=

"1"

extensions=

"*:1"

showScopeSection=

"true"

class=

"org.eclipse.search.ui.text.TextSearchPage"

>

</page>

</extension>

La classe fornita deve implementare org.eclipse.search.ui.ISearchPage.

L'infrastruttura di ricerca fornisce una pagina di ricerca per ricerche full-text.