Поставщики документов

org.eclipse.ui.editors.documentProviders

3.0 (прежнее название org.eclipse.ui.documentProviders)

Эта точка расширения служит для определения соответствий между типами файлов и поставщиками документов или между типами введенных данных редактора и поставщиками документов, используемых редакторами. Поставщики документов должны реализовывать интерфейс org.eclipse.ui.texteditor.IDocumentProvider. Данные редактора должны являться экземпляром org.eclipse.ui.IEditorInput.

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

В этом примере org.eclipse.ui.examples.javaeditor.JavaDocumentProvider регистрируется как поставщик по умолчанию для файлов с расширением ".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>

В этом примере org.eclipse.ui.editors.text.FileDocumentProvider регистрируется как поставщик по умолчанию для всех введенных данных редакторов, являющихся экземплярами org.eclipse.ui.IStorageEditorInput.

Поставщики документов, зарегистрированные для расширения файла, имеют приоритет над поставщиками, зарегистрированными для типа ввода. Поставщики документов должны реализовывать интерфейс org.eclipse.ui.texteditor.IDocumentProvider. Данные редактора должны являться экземпляром org.eclipse.ui.IEditorInput.