Fournisseurs de documents

org.eclipse.ui.editors.documentProviders

3.0 (nommé à l'origine org.eclipse.ui.documentProviders)

Ce point d'extension sert à définir des mappages entre des types de fichiers et des fournisseurs de documents ou entre des types d'entrées d'éditeur et des fournisseurs de documents utilisables par des éditeurs. Les fournisseurs de documents doivent implémenter l'interface org.eclipse.ui.texteditor.IDocumentProvider. Les entrées d'éditeur doivent être une instance de org.eclipse.ui.IEditorInput.

<!ELEMENT extension (provider*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT provider EMPTY>

<!ATTLIST provider

extensions CDATA #IMPLIED

inputTypes CDATA #IMPLIED

class      CDATA #REQUIRED

id         CDATA #REQUIRED>


<extension point=

"org.eclipse.ui.editors.documentProviders"

>

<provider extensions=

".jav"

class=

"org.eclipse.ui.examples.javaeditor.JavaDocumentProvider"

id=

"org.eclipse.ui.examples.javaeditor.JavaDocumentProvider"

>

</provider>

</extension>

Cet exemple enregistre org.eclipse.ui.examples.javaeditor.JavaDocumentProvider comme fournisseur par défaut pour les fichiers dont l'extension est ".jav".

<extension point=

"org.eclipse.ui.editors.documentProviders"

>

<provider inputTypes=

"org.eclipse.ui.IStorageEditorInput"

class=

"org.eclipse.ui.editors.text.FileDocumentProvider"

id=

"org.eclipse.ui.editors.text.FileDocumentProvider"

>

</provider>

</extension>

Cet exemple enregistre org.eclipse.ui.editors.text.FileDocumentProvider comme fournisseur par défaut pour les entrées d'éditeur qui sont une instance de org.eclipse.ui.IStorageEditorInput.

Les fournisseurs de documents enregistrés pour une extension de fichier l'emportent sur ceux enregistrés pour des types d'entrées. Les fournisseurs de documents doivent implémenter l'interface org.eclipse.ui.texteditor.IDocumentProvider. Les entrées d'éditeur doivent être une instance de org.eclipse.ui.IEditorInput.