Provider di documenti

Identificativo: org.eclipse.ui.documentProviders

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
   >

Esempi:

<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.

Copyright
IBM Corporation e altri 2000, 2002.