equal
deleted
inserted
replaced
35 String towrite; |
35 String towrite; |
36 char[] buf = new char[80]; |
36 char[] buf = new char[80]; |
37 byte[] b = new byte[80]; |
37 byte[] b = new byte[80]; |
38 File fn = new File("x.WriteBytesChars"); |
38 File fn = new File("x.WriteBytesChars"); |
39 |
39 |
40 try{ |
40 RandomAccessFile raf = new RandomAccessFile(fn , "rw");; |
41 RandomAccessFile raf = new RandomAccessFile(fn , "rw");; |
41 try { |
42 for (int i = 0; i < 80; i++) { |
42 for (int i = 0; i < 80; i++) { |
43 buf[i] = 'a'; |
43 buf[i] = 'a'; |
44 } |
44 } |
45 towrite = new String(buf); |
45 towrite = new String(buf); |
46 |
46 |
69 } else { |
69 } else { |
70 throw new |
70 throw new |
71 RuntimeException("RandomAccessFile.writeChars, wrong result"); |
71 RuntimeException("RandomAccessFile.writeChars, wrong result"); |
72 } |
72 } |
73 } finally { |
73 } finally { |
|
74 raf.close(); |
74 fn.delete(); |
75 fn.delete(); |
75 } |
76 } |
76 } |
77 } |
77 } |
78 } |