Укажите корректные высказывания?
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
контракты используются для документирования, но не влияют на выполнение системы
инварианты специфицируют согласованные условия, связывающие значения различных запросов класса(Верный ответ)
комментарии используются для документирования, но не влияют на выполнение системы(Верный ответ)
предусловия, постусловия, инварианты являются примерами контрактов(Верный ответ)
метод может иметь постусловия, которые задают финальные свойства, гарантируемые при завершении метода(Верный ответ)
