| /* Test to ensure files >= 2^31 bytes are supported. */ |
| |
| import java.io.*; |
| |
| public class LargeFile |
| { |
| public static void main(String[] args) throws IOException |
| { |
| File file = new File("LargeFile.tmp"); |
| |
| try |
| { |
| RandomAccessFile rfile = new RandomAccessFile(file, "rw"); |
| |
| long pos = (long) Math.pow(2, 31); |
| |
| rfile.seek(pos); |
| rfile.write('O'); |
| rfile.write('K'); |
| rfile.close(); |
| |
| // Re-open, read byte back using FileInputStream and clean up. |
| |
| FileInputStream fis = new FileInputStream(file); |
| fis.skip(pos); |
| System.out.print((char) fis.read()); |
| System.out.println((char) fis.read()); |
| fis.close(); |
| } |
| finally |
| { |
| if (file.exists()) |
| file.delete(); |
| } |
| } |
| } |