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