blob: cc254d750bdf06670d83ed711466ff2c6783cf94 [file] [log] [blame]
duke6e45e102007-12-01 00:00:00 +00001/*
ohair2283b9d2010-05-25 15:58:33 -07002 * Copyright (c) 1998, Oracle and/or its affiliates. All rights reserved.
duke6e45e102007-12-01 00:00:00 +00003 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
ohair2283b9d2010-05-25 15:58:33 -070019 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
duke6e45e102007-12-01 00:00:00 +000022 */
23
24/* @test
25 @bug 4081733
26 @summary Make sure LineNumberReader returns right line number
27 when mark and reset are used
28 */
29
30
31import java.io.*;
32
33public class MarkReset {
34
35 /**
36 * This program creates a LineNumberReader and tries to find all
37 * the non-whitespace characters in the file.
38 */
39 public static void main(String[] args) throws Exception {
40 int n, line;
41
42 LineNumberReader reader = new LineNumberReader
43 (new StringReader("0\r\n1\r2\n3\r\n\r5\r\r7\n\n9"));
44 for (n = 0; n < 7; n++) {
45 skipWhiteSpace(reader); /* Skip all whitespace */
46 int c = reader.read(); /* Read the non-whitespace character */
47 if (c < 0) { /* Might be eof */
48 break; /* It is. Get out of the loop */
49 }
50 line = reader.getLineNumber();
51 if(line != (c - 48)) {
52 throw new Exception("Failed test : Line number expected "
53 + (c - 48) + " got " + line );
54 }
55 }
56 }
57
58 /**
59 * Skip whitespace in the file. Mark and reset
60 */
61 private static void skipWhiteSpace(LineNumberReader reader) throws IOException {
62 while (true) {
63 /* Mark in case the character is not whitespace */
64 reader.mark(10);
65 /* Read the character */
66 int c = reader.read();
67 if (Character.isWhitespace((char) c)) {
68 /* Loop while in whitespace */
69 continue;
70 }
71
72 /* Return to the non-whitespace character */
73 reader.reset();
74 break;
75 }
76 }
77}