Document Providers

Identifier: org.eclipse.ui.documentProviders

Since: Release 1.0

Description: This extension point is used to define mappings between file types and document providers or between types of editor inputs and document providers that can be used by editors. Document providers must implement the interface org.eclipse.ui.texteditor.IDocumentProvider. Editor inputs must be instance of org.eclipse.ui.IEditorInput.

Configuration Markup:

   <!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
   >

Examples:
<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> 

This example registers org.eclipse.ui.examples.javaeditor.JavaDocumentProvider as the default provider for files with the extension ".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> 

This example registers org.eclipse.ui.editors.text.FileDocumentProvider as the default provider for all editor inputs that are instance of org.eclipse.ui.IStorageEditorInput.

API Information: Document providers registered for a file extension have precedence over those registered for input types. Document providers must implement the interface org.eclipse.ui.texteditor.IDocumentProvider. Editor inputs must be instance of org.eclipse.ui.IEditorInput.

Copyright (c) 2000, 2003 IBM Corporation and others. All Rights Reserved.