/** {@inheritDoc} */ public double readDouble() throws IOException { fileSize -= 8; if (fileSize < 0) { throw new EOFException(); } return dataInput.readDouble(); }
static void display() throws IOException { RandomAccessFile rf = new RandomAccessFile(file, "r"); for (int i = 0; i < 7; i++) { System.out.println("Value " + i + " : " + rf.readDouble()); } System.out.println(rf.readUTF()); rf.close(); }
public static void main(String[] args) throws Exception { RandomAccessFile randomAccessFile = new RandomAccessFile("ratest.dat", "rw"); for (int i = 0; i < 5; i++) { randomAccessFile.writeDouble(i * 1.44); } randomAccessFile.close(); ; randomAccessFile = new RandomAccessFile("ratest.dat", "rw"); randomAccessFile.seek(2 * 8); randomAccessFile.writeDouble(48.123); randomAccessFile.close(); randomAccessFile = new RandomAccessFile("ratest.dat", "rw"); for (int i = 0; i < 5; i++) { System.out.println(randomAccessFile.readDouble()); } randomAccessFile.close(); }
/** This reads a binary double from the file. */ public double readBinaryDouble(int col, int row) throws IOException { raf.seek(row * nBytesPerRow + columnStartAt[col]); return raf.readDouble(); }
/* @see java.io.DataInput.readDouble() */ public double readDouble() throws IOException { return raf.readDouble(); }