Lines Matching refs:RandomAccessFile
31 import java.io.RandomAccessFile;
38 * input from a <code>File</code> or <code>RandomAccessFile</code>.
45 private RandomAccessFile raf;
50 /** The DisposerRecord that closes the underlying RandomAccessFile. */
73 this(f == null ? null : new RandomAccessFile(f, "r"));
78 * from a given <code>RandomAccessFile</code>.
84 * @param raf a <code>RandomAccessFile</code> to read from.
89 public FileImageInputStream(RandomAccessFile raf) {
152 disposerRecord.dispose(); // this closes the RandomAccessFile
162 // RandomAccessFile is closed prior to garbage collection