PushbackReader Class
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.
A character-stream reader that allows characters to be pushed back into the stream.
[Android.Runtime.Register("java/io/PushbackReader", DoNotGenerateAcw=true)]
public class PushbackReader : Java.IO.FilterReader[<Android.Runtime.Register("java/io/PushbackReader", DoNotGenerateAcw=true)>]
type PushbackReader = class
inherit FilterReader- Inheritance
- Attributes
Remarks
A character-stream reader that allows characters to be pushed back into the stream.
Added in 1.1.
Java documentation for java.io.PushbackReader.
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.
Constructors
| 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. |
| PushbackReader(Reader, Int32) |
Creates a new pushback reader with a pushback buffer of the given size. |
Properties
| Class |
Returns the runtime class of this |
| Handle |
The handle to the underlying Android instance. (Inherited from Object) |
| In |
The underlying character-input stream. (Inherited from FilterReader) |
| JniIdentityHashCode | (Inherited from Object) |
| JniPeerMembers | |
| Lock |
The object used to synchronize operations on this stream. (Inherited from Reader) |
| PeerReference | (Inherited from Object) |
| ThresholdClass |
This API supports the Mono for Android infrastructure and is not intended to be used directly from your code. |
| ThresholdType |
This API supports the Mono for Android infrastructure and is not intended to be used directly from your code. |
Methods
| Clone() |
Creates and returns a copy of this object. (Inherited from Object) |
| Close() |
Closes this reader. (Inherited from FilterReader) |
| Dispose() | (Inherited from Object) |
| Dispose(Boolean) | (Inherited from Object) |
| Equals(Object) |
Indicates whether some other object is "equal to" this one. (Inherited from Object) |
| GetHashCode() |
Returns a hash code value for the object. (Inherited from Object) |
| JavaFinalize() |
Called by the garbage collector on an object when garbage collection determines that there are no more references to the object. (Inherited from Object) |
| Mark(Int32) |
Marks the present position in the stream. (Inherited from Reader) |
| MarkSupported() |
Tells whether this stream supports the mark() operation. (Inherited from Reader) |
| Notify() |
Wakes up a single thread that is waiting on this object's monitor. (Inherited from Object) |
| NotifyAll() |
Wakes up all threads that are waiting on this object's monitor. (Inherited from Object) |
| Read() |
Reads a single character. (Inherited from Reader) |
| Read(Char[]) |
Reads characters into an array. (Inherited from Reader) |
| Read(Char[], Int32, Int32) |
Reads characters into a portion of an array. (Inherited from FilterReader) |
| Read(CharBuffer) |
Attempts to read characters into the specified character buffer. (Inherited from Reader) |
| ReadAsync() | (Inherited from Reader) |
| ReadAsync(Char[]) | (Inherited from Reader) |
| ReadAsync(Char[], Int32, Int32) | (Inherited from Reader) |
| ReadAsync(CharBuffer) | (Inherited from Reader) |
| Ready() |
Tells whether this stream is ready to be read. (Inherited from Reader) |
| Reset() |
Resets the stream. (Inherited from Reader) |
| SetHandle(IntPtr, JniHandleOwnership) |
Sets the Handle property. (Inherited from Object) |
| Skip(Int64) |
Skips characters. (Inherited from Reader) |
| SkipAsync(Int64) | (Inherited from Reader) |
| ToArray<T>() | (Inherited from Object) |
| ToString() |
Returns a string representation of the object. (Inherited from Object) |
| TransferTo(Writer) |
Reads all characters from this reader and writes the characters to the given writer in the order that they are read. (Inherited from Reader) |
| Unread(Char[]) |
Pushes back an array of characters by copying it to the front of the pushback buffer. |
| Unread(Char[], Int32, Int32) |
Pushes back a portion of an array of characters by copying it to the front of the pushback buffer. |
| Unread(Int32) |
Pushes back a single character by copying it to the front of the pushback buffer. |
| UnregisterFromRuntime() | (Inherited from Object) |
| Wait() |
Causes the current thread to wait until it is awakened, typically by being <em>notified</em> or <em>interrupted</em>. (Inherited from Object) |
| Wait(Int64) |
Causes the current thread to wait until it is awakened, typically by being <em>notified</em> or <em>interrupted</em>, or until a certain amount of real time has elapsed. (Inherited from Object) |
| Wait(Int64, Int32) |
Causes the current thread to wait until it is awakened, typically by being <em>notified</em> or <em>interrupted</em>, or until a certain amount of real time has elapsed. (Inherited from Object) |
Explicit Interface Implementations
| IJavaPeerable.Disposed() | (Inherited from Object) |
| IJavaPeerable.DisposeUnlessReferenced() | (Inherited from Object) |
| IJavaPeerable.Finalized() | (Inherited from Object) |
| IJavaPeerable.JniManagedPeerState | (Inherited from Object) |
| IJavaPeerable.SetJniIdentityHashCode(Int32) | (Inherited from Object) |
| IJavaPeerable.SetJniManagedPeerState(JniManagedPeerStates) | (Inherited from Object) |
| IJavaPeerable.SetPeerReference(JniObjectReference) | (Inherited from Object) |
Extension Methods
| JavaCast<TResult>(IJavaObject) |
Performs an Android runtime-checked type conversion. |
| JavaCast<TResult>(IJavaObject) | |
| GetJniTypeName(IJavaPeerable) | |