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