Книга: Основы объектно-ориентированного программирования
Выражение аксиом
Выражение аксиом
Из соответствия между АТД функциями и компонентами класса можно вывести соответствие между утверждениями класса и семантическими свойствами АТД.
[x]. Предусловие для специфицированной в АТД функции появляется как предусловие программы, соответствующей данной функции.
[x]. Аксиома, включающая команду, и, возможно, одну или более функций запросов, появится как постусловие соответствующей процедуры.
[x]. Аксиомы, включающие только запросы, появятся как постусловия соответствующих функций или как инвариант. Последнее обычно имеет место, если более чем одна функция включена в аксиому, или, по меньшей мере, один из запросов реализован в виде атрибута.
[x]. Аксиомы, включающие функцию создатель, появятся в постусловии соответствующей процедуры создания.
В этот момент следует вернуться назад и сравнить аксиомы АТД STACK с утверждениями класса STACK4 (включая и те, которые даны для класса STACK2).
Оглавление книги
- Индикатор делового имиджа № 4. Выражение слов признательности за обращение в компанию (за обращение к вам)
- 10.7. В поисках аксиом
- Выражение признательности
- Выражение объединения в SQL
- Выражение благодарности
- Раздел АКСИОМЫ
- Выражение спецификаций
- Явное выражение доверия (зеленый свет)
- Оператор-выражение
- A9.2. Инструкция-выражение
- Lambda выражение в Python:
- Аксиомы продаж