A partir del: Release 1.0
Descripción: este punto de extensión permite definir correlaciones entre tipos de archivo y proveedores de documentos o entre tipos de entradas de editor y proveedores de documentos que los editores pueden utilizar. Los proveedores de documentos deben implementar la interfaz org.eclipse.ui.texteditor.IDocumentProvider. Las entradas de editor deben ser una instancia de org.eclipse.ui.IEditorInput.
Códigos XML de configuración:
<!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.documentProviders"> <provider extensions=".jav" class="org.eclipse.ui.examples.javaeditor.JavaDocumentProvider" id="org.eclipse.ui.examples.javaeditor.JavaDocumentProvider"> </provider> </extension>
Este ejemplo registra org.eclipse.ui.examples.javaeditor.JavaDocumentProvider como proveedor por omisión de los archivos que tienen la extensión ".jav".
<extension point="org.eclipse.ui.documentProviders"> <provider inputTypes="org.eclipse.ui.IStorageEditorInput" class="org.eclipse.ui.editors.text.FileDocumentProvider" id="org.eclipse.ui.editors.text.FileDocumentProvider"> </provider> </extension>Este ejemplo registra org.eclipse.ui.editors.text.FileDocumentProvider como proveedor por omisión de todas las entradas de editor que sean una instancia de org.eclipse.ui.IStorageEditorInput.
Información sobre las API: los proveedores de documentos registrados para una extensión de archivo tiene prioridad sobre los que están registrados para tipos de entrada. Los proveedores de documentos deben implementar la interfaz org.eclipse.ui.texteditor.IDocumentProvider. Las entradas de editor deben ser una instancia de org.eclipse.ui.IEditorInput.