Программирование по контракту

Материал из Викиконспекты
Перейти к: навигация, поиск

Программирование по контракту обеспечивает проверку предусловий и постусловий при выполнении методов классов, пользовательских функций.

Предусловие

Определение:
Предусловие - должно быть выполнено до исполнения действия.


Постусловие

Определение:
{{{definition}}}