WPInputStream extends InputStream { @Override public int read() throws IOException { return in.read(); } WPInputStream(InputStream in); int readWPShort(); long readWPLong(); byte readWPByte(); void skipWPByte(int numOfBytes); char readWPChar(); String readWPString(int length); String readWPHexString(int numOfBytes); String readWPHex(); int readWP(); @Override int read(); @Override int read(byte[] b); @Override int read(byte[] b, int off, int len); @Override long skip(long n); @Override int available(); @Override void close(); @Override synchronized void mark(int readlimit); @Override synchronized void reset(); @Override boolean markSupported();  }
@Test public void testReadArr() throws Exception { try (WPInputStream wpInputStream = emptyWPStream()) { byte[] buffer = new byte[10]; wpInputStream.read(buffer); } catch (EOFException e) { fail("should not have thrown EOF"); } }
@Test public void testReadArrOffset() throws Exception { try (WPInputStream wpInputStream = emptyWPStream()) { byte[] buffer = new byte[10]; wpInputStream.read(buffer, 0, 2); } catch (EOFException e) { fail("should not have thrown EOF"); } }