Descrição: Este ponto de extensão é utilizado para definir mapeamentos entre tipos de arquivos e provedores de documento ou entre tipos de entradas do editor e provedores de documento que podem ser utilizados por editores. Os provedores de documento devem implementar a interface org.eclipse.ui.texteditor.IDocumentProvider. As entradas do editor devem ser instâncias de org.eclipse.ui.IEditorInput.
Desde: Release 1.0
Marcação da Configuração:
<!ELEMENT provider EMPTY>
<!ATTLIST provider
extensions
CDATA #OPTIONAL
inputTypes
CDATA #OPTIONAL
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>
Esse exemplo registra org.eclipse.ui.examples.javaeditor.JavaDocumentProvider como o provedor padrão para arquivos com a extensão ".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>
Esse exemplo registra org.eclipse.ui.editors.text.FileDocumentProvider como o provedor padrão para todas as entradas do editor que são instâncias de org.eclipse.ui.IStorageEditorInput.
Informações de API: Os provedores de documento registrados para uma extensão de arquivo antecedem àqueles registrados para os tipos de entrada. Os provedores de documento devem implementar a interface org.eclipse.ui.texteditor.IDocumentProvider. As entradas do editor devem ser instâncias de org.eclipse.ui.IEditorInput.