Class InputFile

lang/java/trevni/core/src/main/java/org/apache/trevni/InputFile.java:27–51

An Input for files.

/** An {@link Input} for files. */
public class InputFile implements Input {

  private FileChannel channel;

  /** Construct for the given file. */
  public InputFile(File file) throws IOException {
    this.channel = new FileInputStream(file).getChannel();
  }

  @Override
  public long length() throws IOException {
    return channel.size();
  }

  @Override
  public int read(long position, byte[] b, int start, int len) throws IOException {
    return channel.read(ByteBuffer.wrap(b, start, len), position);
  }

  @Override
  public void close() throws IOException {
    channel.close();
  }

}