blob: 27d3c50bcbe627b06f93184850e7bdf73978dde4 [file] [log] [blame]
duke6e45e102007-12-01 00:00:00 +00001/*
2 * Copyright 1998 Sun Microsystems, Inc. All Rights Reserved.
3 * 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 *
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
20 * CA 95054 USA or visit www.sun.com if you need additional information or
21 * have any questions.
22 */
23
24/* @test
25 @bug 4101707
26 @summary Test if fill() will behave correctly at EOF to
27 allow file to grow.
28*/
29
30import java.io.*;
31
32public class GrowAfterEOF {
33 public static void main(String[] args) throws Exception {
34 File input = new File(".", "TestEOFInput.txt");
35 RandomAccessFile rf = new RandomAccessFile(input, "rw");
36 BufferedReader r = new BufferedReader
37 (new InputStreamReader(new FileInputStream(input)));
38
39 // write something
40 rf.writeBytes("a line");
41
42 // read till the end of file
43 while (r.readLine() != null);
44
45 // append to the end of the file
46 rf.seek(rf.length());
47 rf.writeBytes("new line");
48
49 // now try to read again
50 boolean readMore = false;
51 while (r.readLine() != null) {
52 readMore = true;
53 }
54 if (!readMore) {
55 input.delete();
56 throw new Exception("Failed test: unable to read!");
57 } else {
58 input.delete();
59 }
60 }
61}