jdk/test/java/io/BufferedReader/Lines.java
author henryjen
Wed, 04 Dec 2013 08:12:11 -0800
changeset 21971 284411f25f79
parent 17433 24c57ce3fec4
permissions -rw-r--r--
8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic Reviewed-by: mduigou
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17433
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
     1
/*
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
     2
 * Copyright (c) 2012, 2013, Oracle and/or its affiliates. All rights reserved.
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
     4
 *
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
     7
 * published by the Free Software Foundation.
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
     8
 *
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    13
 * accompanied this code).
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    14
 *
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    18
 *
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    21
 * questions.
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    22
 */
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    23
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    24
/*
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    25
 * @test
21971
284411f25f79 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
henryjen
parents: 17433
diff changeset
    26
 * @bug 8003258 8029434
17433
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    27
 * @run testng Lines
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    28
 */
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    29
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    30
import java.io.BufferedReader;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    31
import java.io.Reader;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    32
import java.io.StringReader;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    33
import java.io.LineNumberReader;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    34
import java.io.IOException;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    35
import java.io.UncheckedIOException;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    36
import java.util.HashMap;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    37
import java.util.Map;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    38
import java.util.ArrayList;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    39
import java.util.Iterator;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    40
import java.util.NoSuchElementException;
21971
284411f25f79 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
henryjen
parents: 17433
diff changeset
    41
import java.util.Spliterator;
17433
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    42
import java.util.stream.Stream;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    43
import java.util.concurrent.atomic.AtomicInteger;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    44
import org.testng.annotations.Test;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    45
import static org.testng.Assert.*;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    46
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    47
@Test(groups = "unit")
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    48
public class Lines {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    49
    private static final Map<String, Integer> cases = new HashMap<>();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    50
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    51
    static {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    52
        cases.put("", 0);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    53
        cases.put("Line 1", 1);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    54
        cases.put("Line 1\n", 1);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    55
        cases.put("Line 1\n\n\n", 3);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    56
        cases.put("Line 1\nLine 2\nLine 3", 3);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    57
        cases.put("Line 1\nLine 2\nLine 3\n", 3);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    58
        cases.put("Line 1\n\nLine 3\n\nLine5", 5);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    59
    }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    60
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    61
    /**
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    62
     * Helper Reader class which generate specified number of lines contents
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    63
     * with each line will be "<code>Line &lt;line_number&gt;</code>".
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    64
     *
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    65
     * <p>This class also support to simulate {@link IOException} when read pass
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    66
     * a specified line number.
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    67
     */
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    68
    private static class MockLineReader extends Reader {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    69
        final int line_count;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    70
        boolean closed = false;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    71
        int line_no = 0;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    72
        String line = null;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    73
        int pos = 0;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    74
        int inject_ioe_after_line;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    75
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    76
        MockLineReader(int cnt) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    77
            this(cnt, cnt);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    78
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    79
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    80
        MockLineReader(int cnt, int inject_ioe) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    81
            line_count = cnt;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    82
            inject_ioe_after_line = inject_ioe;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    83
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    84
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    85
        public void reset() {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    86
            synchronized(lock) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    87
                line = null;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    88
                line_no = 0;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    89
                pos = 0;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    90
                closed = false;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    91
            }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    92
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    93
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    94
        public void inject_ioe() {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    95
            inject_ioe_after_line = line_no;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    96
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    97
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    98
        public int getLineNumber() {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
    99
            synchronized(lock) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   100
                return line_no;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   101
            }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   102
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   103
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   104
        @Override
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   105
        public void close() {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   106
            closed = true;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   107
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   108
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   109
        @Override
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   110
        public int read(char[] buf, int off, int len) throws IOException {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   111
            synchronized(lock) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   112
                if (closed) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   113
                    throw new IOException("Stream is closed.");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   114
                }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   115
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   116
                if (line == null) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   117
                    if (line_count > line_no) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   118
                        line_no += 1;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   119
                        if (line_no > inject_ioe_after_line) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   120
                            throw new IOException("Failed to read line " + line_no);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   121
                        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   122
                        line = "Line " + line_no + "\n";
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   123
                        pos = 0;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   124
                    } else {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   125
                        return -1; // EOS reached
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   126
                    }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   127
                }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   128
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   129
                int cnt = line.length() - pos;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   130
                assert(cnt != 0);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   131
                // try to fill with remaining
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   132
                if (cnt >= len) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   133
                    line.getChars(pos, pos + len, buf, off);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   134
                    pos += len;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   135
                    if (cnt == len) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   136
                        assert(pos == line.length());
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   137
                        line = null;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   138
                    }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   139
                    return len;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   140
                } else {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   141
                    line.getChars(pos, pos + cnt, buf, off);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   142
                    off += cnt;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   143
                    len -= cnt;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   144
                    line = null;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   145
                    /* hold for next read, so we won't IOE during fill buffer
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   146
                    int more = read(buf, off, len);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   147
                    return (more == -1) ? cnt : cnt + more;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   148
                    */
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   149
                    return cnt;
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   150
                }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   151
            }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   152
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   153
    }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   154
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   155
    private static void verify(Map.Entry<String, Integer> e) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   156
        final String data = e.getKey();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   157
        final int total_lines = e.getValue();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   158
        try (BufferedReader br = new BufferedReader(
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   159
                                    new StringReader(data))) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   160
            assertEquals(br.lines()
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   161
                           .mapToInt(l -> 1).reduce(0, (x, y) -> x + y),
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   162
                         total_lines,
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   163
                         data + " should produce " + total_lines + " lines.");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   164
        } catch (IOException ioe) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   165
            fail("Should not have any exception.");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   166
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   167
    }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   168
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   169
    public void testLinesBasic() {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   170
        // Basic test cases
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   171
        cases.entrySet().stream().forEach(Lines::verify);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   172
        // Similar test, also verify MockLineReader is correct
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   173
        for (int i = 0; i < 10; i++) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   174
            try (BufferedReader br = new BufferedReader(new MockLineReader(i))) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   175
                assertEquals(br.lines()
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   176
                               .peek(l -> assertTrue(l.matches("^Line \\d+$")))
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   177
                               .mapToInt(l -> 1).reduce(0, (x, y) -> x + y),
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   178
                             i,
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   179
                             "MockLineReader(" + i + ") should produce " + i + " lines.");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   180
            } catch (IOException ioe) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   181
                fail("Unexpected IOException.");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   182
            }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   183
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   184
    }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   185
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   186
    public void testUncheckedIOException() throws IOException {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   187
        MockLineReader r = new MockLineReader(10, 3);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   188
        ArrayList<String> ar = new ArrayList<>();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   189
        try (BufferedReader br = new BufferedReader(r)) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   190
            br.lines().limit(3L).forEach(ar::add);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   191
            assertEquals(ar.size(), 3, "Should be able to read 3 lines.");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   192
        } catch (UncheckedIOException uioe) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   193
            fail("Unexpected UncheckedIOException");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   194
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   195
        r.reset();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   196
        try (BufferedReader br = new BufferedReader(r)) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   197
            br.lines().forEach(ar::add);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   198
            fail("Should had thrown UncheckedIOException.");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   199
        } catch (UncheckedIOException uioe) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   200
            assertEquals(r.getLineNumber(), 4, "should fail to read 4th line");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   201
            assertEquals(ar.size(), 6, "3 + 3 lines read");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   202
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   203
        for (int i = 0; i < ar.size(); i++) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   204
            assertEquals(ar.get(i), "Line " + (i % 3 + 1));
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   205
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   206
    }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   207
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   208
    public void testIterator() throws IOException {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   209
        MockLineReader r = new MockLineReader(6);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   210
        BufferedReader br = new BufferedReader(r);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   211
        String line = br.readLine();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   212
        assertEquals(r.getLineNumber(), 1, "Read one line");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   213
        Stream<String> s = br.lines();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   214
        Iterator<String> it = s.iterator();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   215
        // Ensure iterate with only next works
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   216
        for (int i = 0; i < 5; i++) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   217
            String str = it.next();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   218
            assertEquals(str, "Line " + (i + 2), "Addtional five lines");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   219
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   220
        // NoSuchElementException
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   221
        try {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   222
            it.next();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   223
            fail("Should have run out of lines.");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   224
        } catch (NoSuchElementException nsse) {}
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   225
    }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   226
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   227
    public void testPartialReadAndLineNo() throws IOException {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   228
        MockLineReader r = new MockLineReader(5);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   229
        LineNumberReader lr = new LineNumberReader(r);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   230
        char[] buf = new char[5];
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   231
        lr.read(buf, 0, 5);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   232
        assertEquals(0, lr.getLineNumber(), "LineNumberReader start with line 0");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   233
        assertEquals(1, r.getLineNumber(), "MockLineReader start with line 1");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   234
        assertEquals(new String(buf), "Line ");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   235
        String l1 = lr.readLine();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   236
        assertEquals(l1, "1", "Remaining of the first line");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   237
        assertEquals(1, lr.getLineNumber(), "Line 1 is read");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   238
        assertEquals(1, r.getLineNumber(), "MockLineReader not yet go next line");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   239
        lr.read(buf, 0, 4);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   240
        assertEquals(1, lr.getLineNumber(), "In the middle of line 2");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   241
        assertEquals(new String(buf, 0, 4), "Line");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   242
        ArrayList<String> ar = lr.lines()
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   243
             .peek(l -> assertEquals(lr.getLineNumber(), r.getLineNumber()))
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   244
             .collect(ArrayList::new, ArrayList::add, ArrayList::addAll);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   245
        assertEquals(ar.get(0), " 2", "Remaining in the second line");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   246
        for (int i = 1; i < ar.size(); i++) {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   247
            assertEquals(ar.get(i), "Line " + (i + 2), "Rest are full lines");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   248
        }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   249
    }
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   250
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   251
    public void testInterlacedRead() throws IOException {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   252
        MockLineReader r = new MockLineReader(10);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   253
        BufferedReader br = new BufferedReader(r);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   254
        char[] buf = new char[5];
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   255
        Stream<String> s = br.lines();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   256
        Iterator<String> it = s.iterator();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   257
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   258
        br.read(buf);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   259
        assertEquals(new String(buf), "Line ");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   260
        assertEquals(it.next(), "1");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   261
        try {
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   262
            s.iterator().next();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   263
            fail("Should failed on second attempt to get iterator from s");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   264
        } catch (IllegalStateException ise) {}
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   265
        br.read(buf, 0, 2);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   266
        assertEquals(new String(buf, 0, 2), "Li");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   267
        // Get stream again should continue from where left
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   268
        // Only read remaining of the line
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   269
        br.lines().limit(1L).forEach(line -> assertEquals(line, "ne 2"));
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   270
        br.read(buf, 0, 2);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   271
        assertEquals(new String(buf, 0, 2), "Li");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   272
        br.read(buf, 0, 2);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   273
        assertEquals(new String(buf, 0, 2), "ne");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   274
        assertEquals(it.next(), " 3");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   275
        // Line 4
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   276
        br.readLine();
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   277
        // interator pick
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   278
        assertEquals(it.next(), "Line 5");
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   279
        // Another stream instantiated by lines()
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   280
        AtomicInteger line_no = new AtomicInteger(6);
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   281
        br.lines().forEach(l -> assertEquals(l, "Line " + line_no.getAndIncrement()));
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   282
        // Read after EOL
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   283
        assertFalse(it.hasNext());
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   284
    }
21971
284411f25f79 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
henryjen
parents: 17433
diff changeset
   285
284411f25f79 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
henryjen
parents: 17433
diff changeset
   286
    public void testCharacteristics() {
284411f25f79 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
henryjen
parents: 17433
diff changeset
   287
        try (BufferedReader br = new BufferedReader(
284411f25f79 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
henryjen
parents: 17433
diff changeset
   288
                                    new StringReader(""))) {
284411f25f79 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
henryjen
parents: 17433
diff changeset
   289
            Spliterator<String> instance = br.lines().spliterator();
284411f25f79 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
henryjen
parents: 17433
diff changeset
   290
            assertTrue(instance.hasCharacteristics(Spliterator.NONNULL));
284411f25f79 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
henryjen
parents: 17433
diff changeset
   291
            assertTrue(instance.hasCharacteristics(Spliterator.ORDERED));
284411f25f79 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
henryjen
parents: 17433
diff changeset
   292
        } catch (IOException ioe) {
284411f25f79 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
henryjen
parents: 17433
diff changeset
   293
            fail("Should not have any exception.");
284411f25f79 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
henryjen
parents: 17433
diff changeset
   294
        }
284411f25f79 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
henryjen
parents: 17433
diff changeset
   295
    }
17433
24c57ce3fec4 8003258: BufferedReader.lines()
mduigou
parents:
diff changeset
   296
}