Dokument-Provider

org.eclipse.ui.editors.documentProviders

3.0 (ursprünglicher Name 'org.eclipse.ui.documentProviders')

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 ein Exemplar von org.eclipse.ui.IEditorInput sein.

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

Dieses Beispiel registriert org.eclipse.ui.examples.javaeditor.JavaDocumentProvider als Standard-Provider für Dateien mit der Erweiterung ".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>

Dieses Beispiel registriert org.eclipse.ui.editors.text.FileDocumentProvider als Standardprovider für alle Editoreingaben, die ein Exemplar von org.eclipse.ui.IStorageEditorInput sind.

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 ein Exemplar von org.eclipse.ui.IEditorInput sein.