Fournisseurs de documents
Identificateur :
org.eclipse.ui.editors.documentProviders
Depuis :
3.0 (nommé à l'origine org.eclipse.ui.documentProviders)
Description :
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.
Marques de configuration :
<!ELEMENT extension (provider*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - identificateur qualifié complet d'un point d'extension cible.
- id - identificateur facultatif de l'instance d'extension.
- name - nom facultatif de l'instance d'extension.
<!ELEMENT provider EMPTY>
<!ATTLIST provider
extensions CDATA #IMPLIED
inputTypes CDATA #IMPLIED
class CDATA #REQUIRED
id CDATA #REQUIRED>
- extensions - liste d'extensions de fichiers séparées par des
virgules.
- inputTypes - liste de noms de classes d'entrées d'éditeur
séparés par des virgules.
- class - nom qualifié complet de la classe de fournisseur
de documents.
- id - ID unique de ce fournisseur.
Exemples :
<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.
Informations d'API :
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.
Copyright (c) 2001, 2004 IBM Corporation and others.
All rights reserved. Ce programme et les produits associés sont
distribués sous licence v1.0 et disponibles à
l'adresse suivante :
http://www.eclipse.org/legal/epl-v10.html