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