SelectorProvider.Provider Metodo
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
Restituisce il provider del selettore predefinito a livello di sistema per questa chiamata della macchina virtuale Java.
[Android.Runtime.Register("provider", "()Ljava/nio/channels/spi/SelectorProvider;", "")]
public static Java.Nio.Channels.Spi.SelectorProvider? Provider();[<Android.Runtime.Register("provider", "()Ljava/nio/channels/spi/SelectorProvider;", "")>]
static member Provider : unit -> Java.Nio.Channels.Spi.SelectorProviderRestituisce
Provider del selettore predefinito a livello di sistema
- Attributi
Commenti
Restituisce il provider del selettore predefinito a livello di sistema per questa chiamata della macchina virtuale Java.
La prima chiamata di questo metodo individua l'oggetto provider predefinito come indicato di seguito:
<olo>
<li>
Se la proprietà java.nio.channels.spi.SelectorProvider di sistema viene definita, viene usata come nome completo di una classe di provider concreta. La classe viene caricata e creata un'istanza; se questo processo ha esito negativo, viene generato un errore non specificato.
</li>
<li>
Se una classe provider è stata installata in un file JAR visibile al caricatore della classe di sistema e tale file jar contiene un file di configurazione del provider denominato java.nio.channels.spi.SelectorProvider nella directory META-INF/servicesdelle risorse , viene acquisito il nome della prima classe specificato in tale file. La classe viene caricata e creata un'istanza; se questo processo ha esito negativo, viene generato un errore non specificato.
</li>
<li>
Infine, se nessun provider è stato specificato da uno dei mezzi precedenti, viene creata un'istanza della classe del provider predefinita del sistema e viene restituito il risultato.
</li>
</olo>
Le chiamate successive di questo metodo restituiscono il provider restituito dalla prima chiamata.
Documentazione java per java.nio.channels.spi.SelectorProvider.provider().
Le parti di questa pagina sono modifiche basate sul lavoro creato e condiviso dal progetto Open Source Android e usato in base ai termini descritti nella licenza Creative Commons 2.5 Attribuzione.