Программирование по контракту — различия между версиями
Sergej (обсуждение | вклад) (→Постусловие) |
Sergej (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| − | Программирование по контракту обеспечивает проверку предусловий и постусловий при выполнении методов классов, пользовательских функций. | + | Программирование по контракту обеспечивает проверку предусловий и постусловий при выполнении методов классов, пользовательских функций. Также немаловажную роль в правильности написания функций играют инварианты. |
== Предусловие == | == Предусловие == | ||
{{Определение | {{Определение | ||
| Строка 10: | Строка 10: | ||
|definition= | |definition= | ||
Постусловие - должно быть выполнено после исполнения действия. | Постусловие - должно быть выполнено после исполнения действия. | ||
| + | }} | ||
| + | == Инвариант == | ||
| + | {{Определение | ||
| + | | definition= | ||
| + | Инвариант - определяет глобальные свойства некоторого класса, которые должны соблюдаться после его создания на протяжении всего времени жизни. | ||
}} | }} | ||
Версия 15:39, 15 июня 2013
Программирование по контракту обеспечивает проверку предусловий и постусловий при выполнении методов классов, пользовательских функций. Также немаловажную роль в правильности написания функций играют инварианты.
Предусловие
| Определение: |
| Предусловие - должно быть выполнено до исполнения действия. |
Постусловие
| Определение: |
| Постусловие - должно быть выполнено после исполнения действия. |
Инвариант
| Определение: |
| Инвариант - определяет глобальные свойства некоторого класса, которые должны соблюдаться после его создания на протяжении всего времени жизни. |
