GZIPInputStream Costruttori
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.
Overload
| GZIPInputStream(Stream) |
Crea un nuovo flusso di input con dimensioni predefinite del buffer. |
| GZIPInputStream(IntPtr, JniHandleOwnership) |
Costruttore usato durante la creazione di rappresentazioni gestite di oggetti JNI; chiamato dal runtime. |
| GZIPInputStream(Stream, Int32) |
Crea un nuovo flusso di input con le dimensioni del buffer specificate. |
GZIPInputStream(Stream)
Crea un nuovo flusso di input con dimensioni predefinite del buffer.
[Android.Runtime.Register(".ctor", "(Ljava/io/InputStream;)V", "")]
public GZIPInputStream (System.IO.Stream? in);[<Android.Runtime.Register(".ctor", "(Ljava/io/InputStream;)V", "")>]
new Java.Util.Zip.GZIPInputStream : System.IO.Stream -> Java.Util.Zip.GZIPInputStreamParametri
- in
- Stream
flusso di input
- Attributi
Eccezioni
se si verifica un oggetto IOException .
Commenti
Crea un nuovo flusso di input con dimensioni predefinite del buffer.
Documentazione java per java.util.zip.GZIPInputStream.GZIPInputStream(java.io.InputStream).
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.
Si applica a
GZIPInputStream(IntPtr, JniHandleOwnership)
Costruttore usato durante la creazione di rappresentazioni gestite di oggetti JNI; chiamato dal runtime.
protected GZIPInputStream (IntPtr javaReference, Android.Runtime.JniHandleOwnership transfer);new Java.Util.Zip.GZIPInputStream : nativeint * Android.Runtime.JniHandleOwnership -> Java.Util.Zip.GZIPInputStreamParametri
- javaReference
-
IntPtr
nativeint
Oggetto IntPtrcontenente un riferimento all'oggetto JNI (Java Native Interface).
- transfer
- JniHandleOwnership
Oggetto JniHandleOwnershipche indica come gestire javaReference
Commenti
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.
Si applica a
GZIPInputStream(Stream, Int32)
Crea un nuovo flusso di input con le dimensioni del buffer specificate.
[Android.Runtime.Register(".ctor", "(Ljava/io/InputStream;I)V", "")]
public GZIPInputStream (System.IO.Stream? in, int size);[<Android.Runtime.Register(".ctor", "(Ljava/io/InputStream;I)V", "")>]
new Java.Util.Zip.GZIPInputStream : System.IO.Stream * int -> Java.Util.Zip.GZIPInputStreamParametri
- in
- Stream
flusso di input
- size
- Int32
dimensioni del buffer di input
- Attributi
Eccezioni
se si verifica un oggetto IOException .
Commenti
Crea un nuovo flusso di input con le dimensioni del buffer specificate.
Android-note: Android limita il numero di operazioni UnbufferedIO che possono essere eseguite, quindi prendere in considerazione l'uso di input memorizzati nel buffer con questa classe. Altre informazioni sono disponibili nella documentazione di UnbufferedIO e StrictMode .
Documentazione java per java.util.zip.GZIPInputStream.GZIPInputStream(java.io.InputStream, int).
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.