}
@Test
public void fReadFully_byteArray_int_int() throws Exception {
try {
Stream stream = new Stream();
stream.readFully(null, 0, 0);
fail();
} catch (NullPointerException ex) {
} finally {
}
try {
Stream stream = new Stream();
stream.readFully(new byte[0], -1, 0);
fail();
} catch (IllegalArgumentException ex) {
} finally {
}
try {
Stream stream = new Stream();
stream.readFully(new byte[0], 0, -1);
fail();
} catch (IllegalArgumentException ex) {
} finally {
}
try {
Stream stream = new Stream();
stream.readFully(new byte[1], 1, 1);
fail();
} catch (IndexOutOfBoundsException ex) {
} finally {
}
try {
Stream stream = new Stream();
stream.write(1);
stream.readFully(new byte[2], 0, 2);
fail();
} catch (InsufficientBufferException ex) {
} finally {
}
try {
Stream stream = new Stream();
stream.writeInt(0, 3);
stream.readFully(new byte[1], 0, 1);
fail();
} catch (InsufficientBufferException ex) {
} finally {
}
}