Gestori del flusso URL

Identificativo: org.eclipse.core.runtime.urlHandlers

Descrizione: questo punto di estensione viene utilizzato per registrare altri gestori URL nel percorso di ricerca della piattaforma. Si osservi che i gestori URL, registrati da un plug-in mediante i meccanismi Java standard, non vengono rilevati a causa della struttura del caricatore di classi della piattaforma.

Tag di configurazione:

   <!ELEMENT handler EMPTY>

   <!ATTLIST handler
      protocol       CDATA #REQUIRED
      class          CDATA #REQUIRED
   >

Esempi:

di seguito è riportato un esempio di una configurazione di gestore:

   <extension point="org.eclipse.core.runtime.urlHandlers">
      <handler protocol="foo" class="org.eclipse.handlers.FooHandler"/>
   </extension>

Informazioni API: il valore dell'attributo class deve rappresentare un implementatore di java.net.URLStreamHandler

Implementazione fornita: la piattaforma non fornisce alcun gestore URL registrato attraverso questo punto di estensione.

Copyright IBM Corp. 2000, 2001. Tutti i diritti riservati.