GZIPInputStream Constructors
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
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.GZIPInputStreamParameters
- in
- Stream
the input stream
- Attributes
Exceptions
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.GZIPInputStreamParameters
- 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.GZIPInputStreamParameters
- in
- Stream
the input stream
- size
- Int32
the input buffer size
- Attributes
Exceptions
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.