Книга: Основы объектно-ориентированного программирования
Инвариант в момент изменения
Инвариант в момент изменения
Несмотря на свое имя, инвариант не должен выполняться во все времена. Вполне законно, что некоторая процедура g, начиная выполнять свою работу, разрушает инвариант, а, завершая работу, восстанавливает его истинность. В промежуточном состоянии, показанном на рисунке маленьким квадратиком, инвариант не выполняется, но инвариант всегда должен выполняться в заключительном состоянии каждой процедуры. И в человеческом сообществе многие, стараясь сделать что-либо полезное, начинают с того, что разрушают существующий порядок вещей.
Похожие страницы
- Инварианты и контракты
- Изменения оптимизатора, направленные на совместимость
- Другие изменения в 7-й версии InterBase
- 7.3. Порядок заключения, изменения, расторжения договоров
- Ключевые моменты больших проектов
- 5.5 Технологии создания моментальных снимков тома
- 5.7 Устройства NAS под управлением Windows и моментальные снимки
- Часть III Конструктор речевых модулей для скриптов и стандартов продаж Изменения в продажах и требования к речевым модул...
- Как узнать, кто в данный момент использует мои сетевые папки?
- При попытке войти в систему Пользователю1 выдается предупреждение, что загрузился временный профиль и все сделанные изме...
- Открываю документ, распечатываю его, а при закрытии Microsoft Word уточняет, хочу ли я сохранить внесенные изменения. По...
- Дата изменения