GZIPInputStream Construtores

Definição

Sobrecargas

GZIPInputStream(Stream)

Cria um novo fluxo de entrada com um tamanho de buffer padrão.

GZIPInputStream(IntPtr, JniHandleOwnership)

Um construtor usado ao criar representações gerenciadas de objetos JNI; chamado pelo tempo de execução.

GZIPInputStream(Stream, Int32)

Cria um novo fluxo de entrada com o tamanho de buffer especificado.

GZIPInputStream(Stream)

Cria um novo fluxo de entrada com um tamanho de buffer padrão.

[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.GZIPInputStream

Parâmetros

in
Stream

o fluxo de entrada

Atributos

Exceções

se ocorrer um IOException .

Comentários

Cria um novo fluxo de entrada com um tamanho de buffer padrão.

Documentação Java para java.util.zip.GZIPInputStream.GZIPInputStream(java.io.InputStream).

Partes desta página são modificações baseadas no trabalho criado e compartilhado pelo Android Open Source Project e usado de acordo com os termos descritos na Creative Commons 2.5 Attribution License.

Aplica-se a

GZIPInputStream(IntPtr, JniHandleOwnership)

Um construtor usado ao criar representações gerenciadas de objetos JNI; chamado pelo tempo de execução.

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

Parâmetros

javaReference
IntPtr

nativeint

Um IntPtrque contém uma referência de objeto JNI (Java Native Interface).

transfer
JniHandleOwnership

Uma JniHandleOwnershipindicação de como lidar javaReference

Comentários

Partes desta página são modificações baseadas no trabalho criado e compartilhado pelo Android Open Source Project e usado de acordo com os termos descritos na Creative Commons 2.5 Attribution License.

Aplica-se a

GZIPInputStream(Stream, Int32)

Cria um novo fluxo de entrada com o tamanho de buffer especificado.

[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.GZIPInputStream

Parâmetros

in
Stream

o fluxo de entrada

size
Int32

O tamanho do buffer de entrada

Atributos

Exceções

se ocorrer um IOException .

Comentários

Cria um novo fluxo de entrada com o tamanho de buffer especificado.

Android-note: O Android limita o número de operações UnbufferedIO que podem ser executadas, portanto, considere o uso de entradas em buffer com essa classe. Mais informações podem ser encontradas na documentação UnbufferedIO e StrictMode .

Documentação Java para java.util.zip.GZIPInputStream.GZIPInputStream(java.io.InputStream, int).

Partes desta página são modificações baseadas no trabalho criado e compartilhado pelo Android Open Source Project e usado de acordo com os termos descritos na Creative Commons 2.5 Attribution License.

Aplica-se a