Da: versione 1.0
Descrizione: 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.
Tag di configurazione:
<!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.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.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.
Informazioni API: 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.