Assertion: exception's cause | /r/HasProperty | an i/o error
Facets:
Source sentences:
text: Although the method must certainly throw an ArithmeticException since that is the error that occurred, you might also want to let the calling code know that the underlying cause was an I/O error.