PushbackReader Costruttori
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
Overload
| PushbackReader(Reader) |
Crea un nuovo lettore di pushback con un buffer di pushback di un carattere. |
| PushbackReader(Reader, Int32) |
Crea un nuovo lettore di pushback con un buffer di pushback delle dimensioni specificate. |
| PushbackReader(IntPtr, JniHandleOwnership) |
Costruttore usato durante la creazione di rappresentazioni gestite di oggetti JNI; chiamato dal runtime. |
PushbackReader(Reader)
Crea un nuovo lettore di pushback con un buffer di pushback di un carattere.
[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.PushbackReaderParametri
- in
- Reader
Lettore da cui verranno letti i caratteri
- Attributi
Commenti
Crea un nuovo lettore di pushback con un buffer di pushback di un carattere.
Documentazione java per java.io.PushbackReader.PushbackReader(java.io.Reader).
Le parti di questa pagina sono modifiche basate sul lavoro creato e condiviso dal progetto Open Source Android e usato in base ai termini descritti nella licenza Creative Commons 2.5 Attribuzione.
Si applica a
PushbackReader(Reader, Int32)
Crea un nuovo lettore di pushback con un buffer di pushback delle dimensioni specificate.
[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.PushbackReaderParametri
- in
- Reader
Lettore da cui verranno letti i caratteri
- size
- Int32
Dimensioni del buffer di pushback
- Attributi
Eccezioni
se size è negativo.
Commenti
Crea un nuovo lettore di pushback con un buffer di pushback delle dimensioni specificate.
Documentazione java per java.io.PushbackReader.PushbackReader(java.io.Reader, int).
Le parti di questa pagina sono modifiche basate sul lavoro creato e condiviso dal progetto Open Source Android e usato in base ai termini descritti nella licenza Creative Commons 2.5 Attribuzione.
Si applica a
PushbackReader(IntPtr, JniHandleOwnership)
Costruttore usato durante la creazione di rappresentazioni gestite di oggetti JNI; chiamato dal runtime.
protected PushbackReader (IntPtr javaReference, Android.Runtime.JniHandleOwnership transfer);new Java.IO.PushbackReader : nativeint * Android.Runtime.JniHandleOwnership -> Java.IO.PushbackReaderParametri
- javaReference
-
IntPtr
nativeint
Oggetto IntPtrcontenente un riferimento all'oggetto JNI (Java Native Interface).
- transfer
- JniHandleOwnership
Oggetto JniHandleOwnershipche indica come gestire javaReference
Commenti
Le parti di questa pagina sono modifiche basate sul lavoro creato e condiviso dal progetto Open Source Android e usato in base ai termini descritti nella licenza Creative Commons 2.5 Attribuzione.