/** * Creates a new PushbackReader. * * @param r * The first reader to be pushed back */ public PushbackReader(Reader r) { this(); pushback(r); }
/** * Push a string back into the stream. * * @param s * The String to push back */ public void pushback(String s) { pushback(new StringReader(s)); }
/** * Push a character array back into the stream. * * @param chars * The characters to push back */ public void pushback(char[] chars) { pushback(new CharArrayReader(chars)); }
/** * Push a part of a character array back into the stream. * * @param chars * The character array * @param off * Offset of first character to push back * @param len * Number of characters to push back */ public void pushback(char[] chars, int off, int len) { pushback(new CharArrayReader(chars, off, len)); }