Example #1
0
 /** {@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();
  }
Example #4
0
 /** 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();
 }