Программирование по контракту
Программирование по контракту обеспечивает проверку предусловий и постусловий при выполнении методов классов, пользовательских функций.
Предусловие
Определение: |
Предусловие - должно быть выполнено до исполнения действия. |
Постусловие
Определение: |
{{{definition}}} |