Что происходит с контрактами при наследовании. Укажите корректные утверждения?

Правильный ответ:

• # Пусть p – сущность типа F. Динамическим кастингом или приведением типа называется конструкция (S) p, динамически изменяющая в период выполнения тип сущности на тип S. Динамический кастинг опасная операция. В языке Eiffel для безопасного применения динамического кастинга введена конструкция, называемая тестом объекта. Тест объекта – это булевское выражение следующего вида: attached (S) p as t. Выражение получает значение false, если тип объекта, присоединенного к p, не согласован с типом S. Выражение получает значение true, если сущность p присоединена к объекту, согласованному по типу с типом S. В этом случае в качестве побочного эффекта создается локальная переменная t типа S, к которой присоединяется соответствующий объект. Пусть тест объекта появляется как условие if оператора. Какие утверждения справедливы относительно области определения локальной переменной t?
• # Механизм агентов с успехом применяется в ряде ситуаций. Какие утверждения справедливы? Можно ли при откатах заменить этот механизм?
• # При проектировании ПО следует выделять как отдельные элементы "модель" ПО и "облик" ПО. Какие утверждения справедливы относительно понятия "модель"? Модель ПО – это:
• # При подписке на событие выполнялся следующий оператор: left_click.subscribe(agent my_method) Какие утверждения является корректными?
• # Какие факторы процесса разработки оценивают качество механизмов, применяемых для создания ПО?