Dokument-Provider

Kennung: org.eclipse.ui.documentProviders

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
   >

Beispiele:

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

Copyright IBM Corporation und Andere 2000, 2002.