Beschreibung: Dieser Erweiterungspunkt dient der Definition von Zuordnungen zwischen Dateitypen und Dokument-Providern oder zwischen Arten von Editoreingaben und Dokument-Providern, die von Editoren verwendet werden können. Dokument-Provider müssen die Schnittstelle org.eclipse.ui.texteditor.IDocumentProvider implementieren. Editoreingaben müssen eine Instanz von org.eclipse.ui.IEditorInput sein.
Seit: Release 1.0
Konfigurationsbefehle:
<!ELEMENT provider EMPTY>
<!ATTLIST provider
extensions
CDATA #OPTIONAL
inputTypes
CDATA #OPTIONAL
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>
Dieses Beispiel registriert org.eclipse.ui.examples.javaeditor.JavaDocumentProvider als Standard-Provider für Dateien mit der Erweiterung ".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>
Dieses Beispiel registriert org.eclipse.ui.editors.text.FileDocumentProvider als Standard-Provider für alle Editoreneingaben, die eine Instanz von org.eclipse.ui.IStorageEditorInput sind.
API-Informationen: Dokument-Provider, die für eine Dateierweiterung registriert sind, haben Vorrang vor jenen, die für Eingabetypen registriert sind. Dokument-Provider müssen die Schnittstelle org.eclipse.ui.texteditor.IDocumentProvider implementieren. Editoreingaben müssen eine Instanz von org.eclipse.ui.IEditorInput sein.