26     protected RandomAccessFile randomAccessFile;  field in SeekableFileInputStream
32         randomAccessFile = new RandomAccessFile(file, "r");  in SeekableFileInputStream()
40         randomAccessFile = new RandomAccessFile(name, "r");  in SeekableFileInputStream()
47     public SeekableFileInputStream(RandomAccessFile randomAccessFile) {  in SeekableFileInputStream()  argument
48         this.randomAccessFile = randomAccessFile;  in SeekableFileInputStream()
55         return randomAccessFile.read();  in read()
62         return randomAccessFile.read(buf);  in read()
71         return randomAccessFile.read(buf, off, len);  in read()
78         randomAccessFile.close();  in close()
85         return randomAccessFile.length();  in length()
93         return randomAccessFile.getFilePointer();  in position()
100         randomAccessFile.seek(pos);  in seek()