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

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

Предусловие

Определение:

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

Определение:

{{{definition}}}