Document Providers

org.eclipse.ui.editors.documentProviders

3.0 (originally named org.eclipse.ui.documentProviders)

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.

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

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

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.

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.