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
| 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.PushbackReaderParamè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.
Documentation Java 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 le projet Android Open Source et utilisés en fonction des termes décrits dans la licence d’attribution Creative Commons 2.5.
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.PushbackReaderParamè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.
Documentation Java 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 le projet Android Open Source et utilisés en fonction des termes décrits dans la licence d’attribution Creative Commons 2.5.
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.PushbackReaderParamè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 le projet Android Open Source et utilisés en fonction des termes décrits dans la licence d’attribution Creative Commons 2.5.