Состояние публикации
Что такое состояние публикации?
Постусловие - это утверждение или набор операторов, описывающих результат действия, если он истинен, когда операция завершила свою задачу.
Оператор Post Condition указывает, что будет истинным, когда действие завершит свою задачу.
Пример:
Чтобы определить квадратный корень числа, необходимо, чтобы это число было больше нуля. Условие POST заключается в том, что на консоли отображается квадратный корень из числа.