Linguaggio

ZipInputStream Costruttori

Definizione

Overload

Nome Descrizione
ZipInputStream(Stream)

Crea un nuovo flusso di input ZIP.

ZipInputStream(IntPtr, JniHandleOwnership)

Costruttore usato durante la creazione di rappresentazioni gestite di oggetti JNI; chiamato dal runtime.

ZipInputStream(Stream, Charset)

Crea un nuovo flusso di input ZIP.

ZipInputStream(Stream)

Crea un nuovo flusso di input ZIP.

[Android.Runtime.Register(".ctor", "(Ljava/io/InputStream;)V", "")]
public ZipInputStream(System.IO.Stream? in);
[<Android.Runtime.Register(".ctor", "(Ljava/io/InputStream;)V", "")>]
new Java.Util.Zip.ZipInputStream : System.IO.Stream -> Java.Util.Zip.ZipInputStream

Parametri

in
Stream

flusso di input effettivo

Attributi

Commenti

Crea un nuovo flusso di input ZIP.

UTF-8 java.nio.charset.Charset charset viene usato per decodificare i nomi delle voci.

per java.util.zip.ZipInputStream.ZipInputStream(java.io.InputStream).

Le parti di questa pagina sono modifiche basate sul lavoro creato e condiviso dalla e usati in base ai termini descritti in Creative License 2.5 Attribution License.

Si applica a

ZipInputStream(IntPtr, JniHandleOwnership)

Costruttore usato durante la creazione di rappresentazioni gestite di oggetti JNI; chiamato dal runtime.

protected ZipInputStream(IntPtr javaReference, Android.Runtime.JniHandleOwnership transfer);
new Java.Util.Zip.ZipInputStream : nativeint * Android.Runtime.JniHandleOwnership -> Java.Util.Zip.ZipInputStream

Parametri

javaReference
IntPtr

nativeint

Oggetto IntPtrcontenente un riferimento all'oggetto JNI (Native Interface) Java.

transfer
JniHandleOwnership

Oggetto JniHandleOwnershipche indica come gestire javaReference

Commenti

Le parti di questa pagina sono modifiche basate sul lavoro creato e condiviso dalla e usati in base ai termini descritti in Creative License 2.5 Attribution License.

Si applica a

ZipInputStream(Stream, Charset)

Crea un nuovo flusso di input ZIP.

[Android.Runtime.Register(".ctor", "(Ljava/io/InputStream;Ljava/nio/charset/Charset;)V", "", ApiSince=24)]
public ZipInputStream(System.IO.Stream? in, Java.Nio.Charset.Charset? charset);
[<Android.Runtime.Register(".ctor", "(Ljava/io/InputStream;Ljava/nio/charset/Charset;)V", "", ApiSince=24)>]
new Java.Util.Zip.ZipInputStream : System.IO.Stream * Java.Nio.Charset.Charset -> Java.Util.Zip.ZipInputStream

Parametri

in
Stream

flusso di input effettivo

charset
Charset

Il set di caratteri java.nio.charset.Charset da usare per decodificare il nome della voce ZIP (ignorato se è impostato il bit di codifica del linguaggio del flag di bit per utilizzo generico della voce ZIP).

Attributi

Commenti

Crea un nuovo flusso di input ZIP.

Aggiunta nella versione 1.7.

per java.util.zip.ZipInputStream.ZipInputStream(java.io.InputStream, java.nio.charset.Charset).

Le parti di questa pagina sono modifiche basate sul lavoro creato e condiviso dalla e usati in base ai termini descritti in Creative License 2.5 Attribution License.

Si applica a