Основы объектно-ориентированного программирования

Инвариант класса

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

является конъюнкцией собственных инвариантов всех предков класса(Верный ответ)

совпадает с собственным (непосредственным) инвариантом класса – конъюнкцией утверждений из его раздела invariant

является конъюнкцией собственного инварианта класса и собственного инварианта родителя

если у класса нет собственного инварианта, то инвариант True играет эту роль(Верный ответ)

Похожие вопросы

Инвариант класса

Инвариант класса должен выполняться

Контракты и субподряды. Под субподрядом понимается создание класса – наследника существующего класса. Субподрядчик

Атрибут класса - это?

Метод класса - это?

Форма класса, в которой

Клиенту класса должны быть доступны

К какому понятию относятся определения: "экземпляр класса, набор полей, понятие периода исполнения"?

Если процедуры создания корректны (по их завершению выполняются все инварианты класса) и каждый из экспортируемых методов сохраняет инварианты, то?

Допустим, класс содержит инструкции: sf: STACK[Figure]; sb: STACK[Book]; f:Figure; b: Book; Какие инструкции допустимы в программах этого класса?