Fornitori di documenti

org.eclipse.ui.editors.documentProviders

3.0 (nome originale org.eclipse.ui.documentProviders)

Questo punto di estensione viene utilizzato per definire le associazioni tra tipi di file e fornitori di documenti o tra tipi di input di editor e fornitori di documenti utilizzabili dagli editor. I fornitori di documenti devono implementare l'interfaccia org.eclipse.ui.texteditor.IDocumentProvider. Gli input di editor devono essere istanze di 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>

Questo codice di esempio registra org.eclipse.ui.examples.javaeditor.JavaDocumentProvider come fornitore predefinito per i file con estensione ".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>

Questo codice di esempio registra org.eclipse.ui.editors.text.FileDocumentProvider come fornitore predefinito per tutti gli input di editor che sono istanze di org.eclipse.ui.IStorageEditorInput.

i fornitori di documenti registrati per un'estensione file hanno la precedenza su quelli registrati per i tipi di input. I fornitori di documenti devono implementare l'interfaccia org.eclipse.ui.texteditor.IDocumentProvider. Gli input di editor devono essere istanze di org.eclipse.ui.IEditorInput.