RandomAccessFile: readDouble()

 
import java.io.IOException;
import java.io.RandomAccessFile;

public class Main {
  public static void main(String[] args) throws IOException {
    RandomAccessFile rf = new RandomAccessFile("test.dat", "rw");
    for (int i = 0; i < 10; i++)
      rf.writeDouble(i * 1.414);
    rf.close();
    rf = new RandomAccessFile("test.dat", "rw");
    rf.seek(5 * 8);
    rf.writeDouble(47.0001);
    rf.close();
    rf = new RandomAccessFile("test.dat", "r");
    for (int i = 0; i < 10; i++)
      System.out.println("Value " + i + ": " + rf.readDouble());
    rf.close();

  }
}
  
Home 
  Java Book 
    File Stream  

RandomAccessFile:
  1. RandomAccessFile
  2. new RandomAccessFile(String fileName, String mode)
  3. RandomAccessFile: close()
  4. RandomAccessFile: getChannel()
  5. RandomAccessFile: getFilePointer()
  6. RandomAccessFile: length()
  7. RandomAccessFile: read(byte[] b)
  8. RandomAccessFile: readBoolean()
  9. RandomAccessFile: readByte()
  10. RandomAccessFile: readChar()
  11. RandomAccessFile: readDouble()
  12. RandomAccessFile: readInt()
  13. RandomAccessFile: readLine()
  14. RandomAccessFile: seek(long pos)
  15. RandomAccessFile: write(byte[] b)
  16. RandomAccessFile: writeBoolean(boolean v)
  17. RandomAccessFile: writeBytes(String s)
  18. RandomAccessFile: writeChars(String s)
  19. RandomAccessFile: writeInt(int v)
  20. RandomAccessFile: writeUTF(String str)