Какие утверждения справедливы относительно отложенных классов, их методов и объектов?
Какие утверждения относительно экспорта компонентов класса справедливы в Eiffel?
Пусть наследник класса переопределил метод М родителя, задав например реализацию отложенного метода М. В контракте метода М у родителя задано предусловие Р, которое должно выполняться при вызове М. Какие утверждения справедливы относительно предусловия РР метода М в классе наследника?
Пусть наследник класса переопределил метод М родителя, задав например реализацию отложенного метода М. В контракте метода М у родителя задано постусловие Р, которое должно выполняться при вызове М. Какие утверждения справедливы относительно постусловия РР метода М в классе наследника?
Пусть проектируется класс VECTOR[ELEMENT], задающий вектор, тип элементов которого задается параметром класса. Операции класса предполагают возможность выполнения арифметических операций как над элементами вектора, так и над векторами. Какие утверждения справедливы в этом случае?
Пусть проектируется класс MATRIX[ELEMENT], задающий матрицу, тип элементов которой задается параметром класса. Операции класса предполагают возможность выполнения арифметических операций, как над элементами матрицы, так и над самими матрицами. Какие утверждения справедливы в этом случае?
Какие утверждения справедливы относительно класса EVENT_TYPE, задающего описание типа события?
Архитектура образца "Наблюдатель" предполагает проектирование класса Subscriber (Подписчик), который является родителем соответствующего семейства классов. Какие утверждения справедливы относительно этого класса?
Архитектура образца "Наблюдатель" включает проектирование класса Publisher (Издатель), который является родителем соответствующего семейства классов. Какие утверждения справедливы относительно этого класса?
Отложенные классы характерны для верхних уровней проектирования программных систем. Некоторые методы отложенного класса носят название "программы с дырами". Какие это методы?
