jdk/src/share/classes/java/io/PushbackInputStream.java
changeset 18156 edb590d448c5
parent 9035 1255eb81cc2f
child 23010 6dadb192ad81
equal deleted inserted replaced
18155:889970e5b728 18156:edb590d448c5
    83      * <code>pushBack</code> is initialized to
    83      * <code>pushBack</code> is initialized to
    84      * <code>-1</code>).
    84      * <code>-1</code>).
    85      *
    85      *
    86      * @param  in    the input stream from which bytes will be read.
    86      * @param  in    the input stream from which bytes will be read.
    87      * @param  size  the size of the pushback buffer.
    87      * @param  size  the size of the pushback buffer.
    88      * @exception IllegalArgumentException if size is <= 0
    88      * @exception IllegalArgumentException if {@code size <= 0}
    89      * @since  JDK1.1
    89      * @since  JDK1.1
    90      */
    90      */
    91     public PushbackInputStream(InputStream in, int size) {
    91     public PushbackInputStream(InputStream in, int size) {
    92         super(in);
    92         super(in);
    93         if (size <= 0) {
    93         if (size <= 0) {