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