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 extension (handler*)>

   <!ATTLIST extension
     point CDATA #REQUIRED
     id    CDATA #IMPLIED
     name  CDATA #IMPLIED
   >

   <!ELEMENT handler EMPTY>

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

Esempi: di seguito è riportato un esempio di 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 (c) 2002 IBM Corporation e altri. Tutti i diritti riservati. Questo programma e il materiale di accompagnamento sono disponibili secondo i termini della Common Public License v1.0 che sono distribuiti con il prodotto, e disponibili all'indirizzo http://www.eclipse.org/legal/cpl-v10.html