Members

Java.IO.PushbackReader Members

The members of Java.IO.PushbackReader are listed below.

See Also: Inherited members from Java.IO.FilterReader

Public Constructors

	PushbackReader(Reader)	Constructs a new `PushbackReader` with the specified reader as source.
	PushbackReader(Reader, int)	Constructs a new `PushbackReader` with `in` as source reader.

Protected Constructors

PushbackReader(IntPtr, Android.Runtime.JniHandleOwnership)

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

Protected Properties

[read-only] override	ThresholdClass	IntPtr. This API supports the Mono for Android infrastructure and is not intended to be used directly from your code.
[read-only] override	ThresholdType	Type. This API supports the Mono for Android infrastructure and is not intended to be used directly from your code.

Public Methods

	Unread(char[]) Pushes all the characters in `buffer` back to this reader.
	Unread(int) Pushes the specified character `oneChar` back to this reader.
	Unread(char[], int, int) Pushes a subset of the characters in `buffer` back to this reader.