Class DataInputStream

classpath/java/io/DataInputStream.java:13–132

package java.io;

public class DataInputStream extends InputStream implements DataInput {
  private InputStream in;

  public DataInputStream(InputStream in) {
    this.in = in;
  }

  public void close() throws IOException {
    in.close();
  }

  public int read(byte[] buffer) throws IOException {
    return in.read(buffer);
  }

  public int read(byte[] buffer, int offset, int length) throws IOException {
    return in.read(buffer, offset, length);
  }

  public void readFully(byte[] b) throws IOException {
    readFully(b, 0, b.length);
  }

  public void readFully(byte[] b, int offset, int length) throws IOException {
    while (length > 0) {
      int count = read(b, offset, length);
      if (count < 0) {
        throw new EOFException("Reached EOF " + length + " bytes too early");
      }
      offset += count;
      length -= count;
    }
  }

  public int read() throws IOException {
    return in.read();
  }

  private int read0() throws IOException {
    int b = in.read();
    if (b < 0) {
      throw new EOFException();
    }
    return b;
  }

  public boolean readBoolean() throws IOException {
    return read0() != 0;
  }

  public byte readByte() throws IOException {
    return (byte)read0();
  }

  public short readShort() throws IOException {
    return (short)((read0() << 8) | read0());
  }