Книга: Основы объектно-ориентированного программирования
У11.6 Утверждения и экспорт
У11.6 Утверждения и экспорт
Обсудите использование функций в утверждениях, в частности, введение функции correct_index в предусловия программ put и item. Если добавить эту функцию в класс ARRAY, то какой статус экспорта следует ей дать?
Содержание
Оглавление статьи/книги
- У11.1 Комплексные числа
- У11.2 Класс и его АТД
- У11.3 Полные утверждения для стеков
- У11.4 Экспортирование размера
- У11.5 Инвариант реализации
- У11.6 Утверждения и экспорт
- У11.7 Поиск жучков (bugs)
- У11.8 Нарушение инварианта
- У11.9 Генерация случайных чисел
- У11.10 Модуль "очередь"
- У11.11 Модуль "множество"
Похожие страницы
- У11.3 Полные утверждения для стеков
- У11.4 Экспортирование размера
- Экспорт таблиц Firebird во внешние файлы
- Инструкция утверждения
- Утверждения как средство для написания корректного ПО
- Монтирование экспортируемых каталогов
- Определение экспортируемых каталогов
- Статус экспорта процедур создания
- Экспортируемые символы
- Экспорт
- 8.7. Команды Import (Импорт), Place (Поместить) и Export (Экспорт)
- IV. Рисунки для утверждения планов