Exceptions can be documented just as well, and you have the same choice whether the error propagates upstream, only the default is different.