Descrizione: questo punto di estensione viene utilizzato per definire i mapping tra tipi di file e provider di documenti o tra tipi di input di editor e provider di documenti utilizzabili dagli editor. I provider di documenti devono implementare l'interfaccia org.eclipse.ui.texteditor.IDocumentProvider. Gli input degli editor devono essere istanze di org.eclipse.ui.IEditorInput.
Da: versione 1.0
Tag di configurazione:
<!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>
Questo codice di esempio registra org.eclipse.ui.examples.javaeditor.JavaDocumentProvider come provider 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 provider predefinito per tutti gli input di editor che sono istanze di org.eclipse.ui.IStorageEditorInput.
Informazioni API: i provider di documenti registrati per un'estensione file hanno la precedenza su quelli registrati per i tipi di input. I provider di documenti devono implementare l'interfaccia org.eclipse.ui.texteditor.IDocumentProvider. Gli input di editor devono essere istanze di org.eclipse.ui.IEditorInput.