No, but "this action consumes a potentially exhaustible resource and could therefore fail" is normally part of programming language semantics