Document Providers

Identifier: org.eclipse.ui.documentProviders

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.

Since: Release 1.0

Configuration Markup:

   <!ELEMENT provider EMPTY>
   <!ATTLIST provider
      extensions     CDATA #OPTIONAL
      inputTypes     CDATA #OPTIONAL
      class          CDATA #REQUIRED
      id             CDATA #REQUIRED
   >

extensions - a comma seperated list of file extensions
inputTypes - a comma seperated list of qualified editor input class names
class - the qualified name of the document provider class
id - the unique id of this provider

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.