javatools.filehandlers
Class RandomAccessFileInputStream

java.lang.Object
  extended by java.io.InputStream
      extended by javatools.filehandlers.RandomAccessFileInputStream
All Implemented Interfaces:
java.io.Closeable

public class RandomAccessFileInputStream
extends java.io.InputStream

This class is part of the Java Tools (see http://mpii.de/yago-naga/javatools). It is licensed under the Creative Commons Attribution License (see http://creativecommons.org/licenses/by/3.0) by the YAGO-NAGA team (see http://mpii.de/yago-naga). The class wraps a RandomAccessFile into a Reader


Constructor Summary
RandomAccessFileInputStream(java.io.RandomAccessFile f)
           
 
Method Summary
 void close()
           
 int read()
           
 
Methods inherited from class java.io.InputStream
available, mark, markSupported, read, read, reset, skip
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RandomAccessFileInputStream

public RandomAccessFileInputStream(java.io.RandomAccessFile f)
Method Detail

close

public void close()
           throws java.io.IOException
Specified by:
close in interface java.io.Closeable
Overrides:
close in class java.io.InputStream
Throws:
java.io.IOException

read

public int read()
         throws java.io.IOException
Specified by:
read in class java.io.InputStream
Throws:
java.io.IOException