Assertion: byte | /r/MadeOf | positive
Facets:
Source sentences:
text: // the -1 indicates that there is no data int input = stream.read(); if (input == -1) throw new EOFException(); // bytes must be made positive first.