equal
deleted
inserted
replaced
45 /** |
45 /** |
46 * Creates a new pushback reader with a pushback buffer of the given size. |
46 * Creates a new pushback reader with a pushback buffer of the given size. |
47 * |
47 * |
48 * @param in The reader from which characters will be read |
48 * @param in The reader from which characters will be read |
49 * @param size The size of the pushback buffer |
49 * @param size The size of the pushback buffer |
50 * @exception IllegalArgumentException if size is <= 0 |
50 * @exception IllegalArgumentException if {@code size <= 0} |
51 */ |
51 */ |
52 public PushbackReader(Reader in, int size) { |
52 public PushbackReader(Reader in, int size) { |
53 super(in); |
53 super(in); |
54 if (size <= 0) { |
54 if (size <= 0) { |
55 throw new IllegalArgumentException("size <= 0"); |
55 throw new IllegalArgumentException("size <= 0"); |