PushbackReader Constructeurs
Définition
Important
Certaines informations portent sur la préversion du produit qui est susceptible d’être en grande partie modifiée avant sa publication. Microsoft exclut toute garantie, expresse ou implicite, concernant les informations fournies ici.
Surcharges
| Nom | Description |
|---|---|
| PushbackReader(Reader) |
Crée un lecteur de pushback avec une mémoire tampon de pushback à un caractère. |
| PushbackReader(Reader, Int32) |
Crée un lecteur de pushback avec une mémoire tampon de pushback de la taille donnée. |
| PushbackReader(IntPtr, JniHandleOwnership) |
Constructeur utilisé lors de la création de représentations managées d’objets JNI ; appelée par le runtime. |
PushbackReader(Reader)
Crée un lecteur de pushback avec une mémoire tampon de pushback à un caractère.
[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.PushbackReader
Paramètres
- in
- Reader
Lecteur à partir duquel les caractères seront lus
- Attributs
Remarques
Crée un lecteur de pushback avec une mémoire tampon de pushback à un caractère.
Java documentation pour java.io.PushbackReader.PushbackReader(java.io.Reader).
Les parties de cette page sont des modifications basées sur le travail créé et partagé par Android Open Source et utilisées en fonction des termes décrits dans la Creative Commons 2.5 Attribution License.
S’applique à
PushbackReader(Reader, Int32)
Crée un lecteur de pushback avec une mémoire tampon de pushback de la taille donnée.
[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.PushbackReader
Paramètres
- in
- Reader
Lecteur à partir duquel les caractères seront lus
- size
- Int32
Taille de la mémoire tampon de pushback
- Attributs
Exceptions
si size elle est négative.
Remarques
Crée un lecteur de pushback avec une mémoire tampon de pushback de la taille donnée.
Java documentation pour java.io.PushbackReader.PushbackReader(java.io.Reader, int).
Les parties de cette page sont des modifications basées sur le travail créé et partagé par Android Open Source et utilisées en fonction des termes décrits dans la Creative Commons 2.5 Attribution License.
S’applique à
PushbackReader(IntPtr, JniHandleOwnership)
Constructeur utilisé lors de la création de représentations managées d’objets JNI ; appelée par le runtime.
protected PushbackReader(IntPtr javaReference, Android.Runtime.JniHandleOwnership transfer);
new Java.IO.PushbackReader : nativeint * Android.Runtime.JniHandleOwnership -> Java.IO.PushbackReader
Paramètres
- transfer
- JniHandleOwnership
Indiquant JniHandleOwnershipcomment gérer javaReference
Remarques
Les parties de cette page sont des modifications basées sur le travail créé et partagé par Android Open Source et utilisées en fonction des termes décrits dans la Creative Commons 2.5 Attribution License.