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

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

Предусловие

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

{{{definition}}}

Постусловие

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

{{{definition}}}