Sdílet prostřednictvím

GZIPInputStream Constructors

  • Reference

Definition

Namespace:
Java.Util.Zip
Assembly:
Mono.Android.dll

Overloads

GZIPInputStream(Stream)

Creates a new input stream with a default buffer size.
GZIPInputStream(IntPtr, JniHandleOwnership)

A constructor used when creating managed representations of JNI objects; called by the runtime.
GZIPInputStream(Stream, Int32)

Creates a new input stream with the specified buffer size.

GZIPInputStream(Stream)

Creates a new input stream with a default buffer size.

[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

Parameters

in
Stream

the input stream

Attributes
RegisterAttribute

Exceptions

IOException

if an IOException occurs.

Remarks

Creates a new input stream with a default buffer size.

Java documentation for java.util.zip.GZIPInputStream.GZIPInputStream(java.io.InputStream).

Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License.

Applies to

GZIPInputStream(IntPtr, JniHandleOwnership)

A constructor used when creating managed representations of JNI objects; called by the runtime.

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

Parameters

javaReference
IntPtr

nativeint

A IntPtrcontaining a Java Native Interface (JNI) object reference.

transfer
JniHandleOwnership

A JniHandleOwnershipindicating how to handle javaReference

Remarks

Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License.

Applies to

GZIPInputStream(Stream, Int32)

Creates a new input stream with the specified buffer size.

[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

Parameters

in
Stream

the input stream

size
Int32

the input buffer size

Attributes
RegisterAttribute

Exceptions

IOException

if an IOException occurs.

Remarks

Creates a new input stream with the specified buffer size.

Android-note: Android limits the number of UnbufferedIO operations that can be performed, so consider using buffered inputs with this class. More information can be found in the UnbufferedIO and StrictMode documentation.

Java documentation for java.util.zip.GZIPInputStream.GZIPInputStream(java.io.InputStream, int).

Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License.

Applies to