Главная /
Объектно-ориентированное программирование и программная инженерия /
При переопределении метода возможно и переопределение контракта. Как при переопределении контракта записывается новое предусловие, и каков его эффект?
При переопределении метода возможно и переопределение контракта. Как при переопределении контракта записывается новое предусловие, и каков его эффект?
вопросПравильный ответ:
предусловие можно не задавать. В этом случае сохранится предусловие родителя
предусловие можно не задавать. В этом случае отменяется предусловие родителя
предусловие можно задать в форме
require else new_pred
, где new_pred
– дополнительное условие, заданное потомком, расширяющее область возможных значений для входных данных метода
предусловие можно задать в форме
require then new_pred
, где new_pred
– дополнительное условие, заданное потомком, сужающее область возможных значений для входных данных метода Сложность вопроса
57
Сложность курса: Объектно-ориентированное программирование и программная инженерия
73
Оценить вопрос
Комментарии:
Аноним
Большое спасибо за тесты по intiut'у.
28 июн 2019
Аноним
Экзамен сдан на пять с минусом. Спасибо за ответы
16 апр 2019
Другие ответы на вопросы из темы программирование интуит.
- # Для отображения отношений между классами Eiffel Studio позволяет построить диаграмму классов. Какие утверждения справедливы для этой диаграммы?
- # В чем особенность кластерной модели жизненного цикла?
- # Пусть класс Р имеет метод М. Пусть у класса Р есть два наследника F и G, которые являются родительскими классами для класса S. В каких ситуациях у класса S будет существовать две версии метода М?
- # Какие утверждения справедливы по отношению к записи agent N?
- # Какие факторы качества ПО относятся к долговременным факторам?