668
правок
Изменения
Нет описания правки
Программирование по контракту обеспечивает проверку предусловий и постусловий при выполнении методов классов, пользовательских функций. Также немаловажную роль в правильности написания функций играют инварианты.
== Предусловие ==
{{Определение
|definition=
Постусловие - должно быть выполнено после исполнения действия.
}}
== Инвариант ==
{{Определение
| definition=
Инвариант - определяет глобальные свойства некоторого класса, которые должны соблюдаться после его создания на протяжении всего времени жизни.
}}
