jdk/test/java/io/InputStreamReader/GrowAfterEOF.java
changeset 2 90ce3da70b43
child 5506 202f599c92aa
equal deleted inserted replaced
0:fd16c54261b3 2:90ce3da70b43
       
     1 /*
       
     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 
       
    30 import java.io.*;
       
    31 
       
    32 public 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 }