Desde: Release 1.0
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.
Marcação da Configuração:
<!ELEMENT extension (provider*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED
>
<!ELEMENT provider EMPTY>
<!ATTLIST provider
extension CDATA #IMPLIED
inputTypes CDATA #IMPLIED
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 tem preferência sobre à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.