Partager via


PushbackInputStream Constructors

Definition

Overloads

PushbackInputStream(Stream)

Creates a PushbackInputStream with a 1-byte pushback buffer, and saves its argument, the input stream in, for later use.

PushbackInputStream(IntPtr, JniHandleOwnership)

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

PushbackInputStream(Stream, Int32)

Creates a PushbackInputStream with a pushback buffer of the specified size, and saves its argument, the input stream in, for later use.

PushbackInputStream(Stream)

Creates a PushbackInputStream with a 1-byte pushback buffer, and saves its argument, the input stream in, for later use.

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

Parameters

in
Stream

the input stream from which bytes will be read.

Attributes

Remarks

Creates a PushbackInputStream with a 1-byte pushback buffer, and saves its argument, the input stream in, for later use. Initially, the pushback buffer is empty.

Java documentation for java.io.PushbackInputStream.PushbackInputStream(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

PushbackInputStream(IntPtr, JniHandleOwnership)

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

protected PushbackInputStream (IntPtr javaReference, Android.Runtime.JniHandleOwnership transfer);
new Java.IO.PushbackInputStream : nativeint * Android.Runtime.JniHandleOwnership -> Java.IO.PushbackInputStream

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

PushbackInputStream(Stream, Int32)

Creates a PushbackInputStream with a pushback buffer of the specified size, and saves its argument, the input stream in, for later use.

[Android.Runtime.Register(".ctor", "(Ljava/io/InputStream;I)V", "")]
public PushbackInputStream (System.IO.Stream? in, int size);
[<Android.Runtime.Register(".ctor", "(Ljava/io/InputStream;I)V", "")>]
new Java.IO.PushbackInputStream : System.IO.Stream * int -> Java.IO.PushbackInputStream

Parameters

in
Stream

the input stream from which bytes will be read.

size
Int32

the size of the pushback buffer.

Attributes

Exceptions

if size is negative.

Remarks

Creates a PushbackInputStream with a pushback buffer of the specified size, and saves its argument, the input stream in, for later use. Initially, the pushback buffer is empty.

Added in 1.1.

Java documentation for java.io.PushbackInputStream.PushbackInputStream(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