Описание тега post-conditions

Постусловие - это некоторое условие, которое должно быть выполнено после выполнения заданного раздела кода. Это может быть указано в коде через утверждения или в документации.

Ссылки

• Статья в Википедии о постусловиях

Связанные теги

• предварительные условия