Главная /
Объектно-ориентированное программирование и программная инженерия /
Пусть наследник класса переопределил метод М родителя, задав например реализацию отложенного метода М. В контракте метода М у родителя задано предусловие Р, которое должно выполняться при вызове М. Какие утверждения справедливы относительно предусловия РР
Пусть наследник класса переопределил метод М родителя, задав например реализацию отложенного метода М. В контракте метода М у родителя задано предусловие Р, которое должно выполняться при вызове М. Какие утверждения справедливы относительно предусловия РР метода М в классе наследника?
вопрос
Правильный ответ:
наследник обязан сохранить предусловие метода (
РР = Р)
наследник может сохранить предусловие метода (
РР = Р)
наследник может ослабить предусловие метода (
Р => PР and not(PP = P))
наследник может усилить предусловие метода (
РР => Р and not(PP = P)) Сложность вопроса
36
Сложность курса: Объектно-ориентированное программирование и программная инженерия
73
Оценить вопрос
Комментарии:
Аноним
спасибо
30 дек 2017
Аноним
Если бы не эти ответы - я бы не справился c этими тестами интуит.
16 ноя 2015
Другие ответы на вопросы из темы программирование интуит.
- # При проектировании программной системы многие классы связываются отношением наследования. Какие утверждения справедливы для наследования?
- # Когда выполняется присваивание x := agent r, то переменная x должна принадлежать специальному типу, часто называемому функциональным, поскольку объектами этого типа являются функции и процедуры. В Eiffel этот тип задается классом ROUTINE и тремя его потомками – классами PROCEDURE, FUNCTION, PREDICATE. Какой из этих классов задает агентов, связанных с командами?
- # Какие утверждения справедливы для понятия "сигнатура события"?
- # Архитектура образца "Наблюдатель" предполагает проектирование:
- # Какие утверждения являются справедливыми относительно списка подписчиков для образца, связанного с классом EVENT_TYPE?