Verfügbar seit: Release 1.0
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.
Konfigurationsbefehle:
<!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>
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 Standardprovider für alle Editoreingaben, die ein Exemplar 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.