Пусть наследник класса переопределил метод М родителя, задав например реализацию отложенного метода М. В контракте метода М у родителя задано предусловие Р, которое должно выполняться при вызове М. Какие утверждения справедливы относительно предусловия РР метода М в классе наследника?
Пусть наследник класса переопределил метод М родителя, задав например реализацию отложенного метода М. В контракте метода М у родителя задано постусловие Р, которое должно выполняться при вызове М. Какие утверждения справедливы относительно постусловия РР метода М в классе наследника?
При моделировании 7-и уровневой классификации Линнея создан объект prima класса "Примат". (В классификации Линнея это уровень – отряд. Согласно Линнею, к приматам относятся люди, обезьяны, летучие мыши, ленивцы). Какие утверждения справедливы по отношению к этому объекту?
Архитектура образца "Наблюдатель" включает проектирование класса Publisher (Издатель), который является родителем соответствующего семейства классов. Какие утверждения справедливы относительно этого класса?
Архитектура образца "Наблюдатель" предполагает проектирование класса Subscriber (Подписчик), который является родителем соответствующего семейства классов. Какие утверждения справедливы относительно этого класса?
При моделировании транспортной системы Traffic созданы объекты yellow_taxi класса TAXI и объект transport класса VEHICLE. Какие утверждения справедливы по отношению к этим объектам:
Какие утверждения справедливы по отношению к записи agent N?
Какие утверждения справедливы относительно метода call в языке Eiffel?
При описании образца "Наблюдатель" могут применяться две схемы задания аргументов события. Первая предполагает, что аргументы задаются списком, содержащим элементы произвольного типа, заданного параметром ANY. Во второй схеме аргументы задаются в ориентации на конкретный вид сообщения. Какие утверждения справедливы относительно этих двух схем
При переопределении метода возможно и переопределение контракта. Какие утверждения справедливы при переопределении контракта:
