Какое определение постусловия метода является корректным?
(Отметьте один правильный вариант ответа.)
Варианты ответа
постусловие – это соглашение, которое заключают клиент и поставщик, если результаты работы программной системы не получены или получены с ошибками
постусловие – это условие, которое должен проверять клиент, вызвавший метод, по завершении работы метода
постусловие – это условие, которое должно выполняться по завершении корректно вызванного метода (при вызове которого было выполнено предусловие)(Верный ответ)
постусловие – это условие, являющееся отрицанием предусловия
