PushbackReader 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
| PushbackReader(Reader) |
Creates a new pushback reader with a one-character pushback buffer. |
| PushbackReader(Reader, Int32) |
Creates a new pushback reader with a pushback buffer of the given size. |
| PushbackReader(IntPtr, JniHandleOwnership) |
A constructor used when creating managed representations of JNI objects; called by the runtime. |
PushbackReader(Reader)
Creates a new pushback reader with a one-character pushback buffer.
[Android.Runtime.Register(".ctor", "(Ljava/io/Reader;)V", "")]
public PushbackReader (Java.IO.Reader? in);[<Android.Runtime.Register(".ctor", "(Ljava/io/Reader;)V", "")>]
new Java.IO.PushbackReader : Java.IO.Reader -> Java.IO.PushbackReaderParameters
- in
- Reader
The reader from which characters will be read
- Attributes
Remarks
Creates a new pushback reader with a one-character pushback buffer.
Java documentation for java.io.PushbackReader.PushbackReader(java.io.Reader).
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
PushbackReader(Reader, Int32)
Creates a new pushback reader with a pushback buffer of the given size.
[Android.Runtime.Register(".ctor", "(Ljava/io/Reader;I)V", "")]
public PushbackReader (Java.IO.Reader? in, int size);[<Android.Runtime.Register(".ctor", "(Ljava/io/Reader;I)V", "")>]
new Java.IO.PushbackReader : Java.IO.Reader * int -> Java.IO.PushbackReaderParameters
- in
- Reader
The reader from which characters will be read
- size
- Int32
The size of the pushback buffer
- Attributes
Exceptions
if size is negative.
Remarks
Creates a new pushback reader with a pushback buffer of the given size.
Java documentation for java.io.PushbackReader.PushbackReader(java.io.Reader, 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
PushbackReader(IntPtr, JniHandleOwnership)
A constructor used when creating managed representations of JNI objects; called by the runtime.
protected PushbackReader (IntPtr javaReference, Android.Runtime.JniHandleOwnership transfer);new Java.IO.PushbackReader : nativeint * Android.Runtime.JniHandleOwnership -> Java.IO.PushbackReaderParameters
- 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.