Книга: Основы объектно-ориентированного программирования
Полная спецификация
Полная спецификация
Раздел ПРЕДУСЛОВИЯ (PRECONDITIONS) завершает простую спецификацию абстрактного типа данных STACK. Для удобства ссылок полезно собрать вместе разные компоненты спецификации, приведенные выше. Вот полная спецификация.
Спецификация стеков как АТД
ТИПЫ (TYPES)
[x]. STACK [G]
ФУНКЦИИ (FUNCTIONS)
[x]. put: STACK [G] ? G
[x]. remove: STACK [G]
[x]. item: STACK [G]
[x]. empty: STACK [G]
[x]. new: STACK [G]
АКСИОМЫ (AXIOMS)
Для всех x: G, s: STACK [G]
[x]. (A1) item (put (s, x)) = x
[x]. (A2) remove (put (s, x)) = s
[x]. (A3) empty (new)
[x]. (A4) not empty (put (s, x))
ПРЕДУСЛОВИЯ (PRECONDITIONS)
[x]. remove (s: STACK [G]) require not empty (s)
[x]. item (s: STACK [G]) require not empty (s)
Оглавление книги
Похожие страницы
- Полна ли моя спецификация?
- Характеристики и спецификация БП
- 13.4.5. Полная копия
- Пример 8.1. Glade-спецификация "Hello, world!"
- 3.4. Полная анонимность: I2P и Tor вместе
- 6.6.1. Спецификация номенклатурной позиции
- Полная реализация класса связного списка
- 6.1.8. Спецификация Plug and Play для шины ISA
- Полная консолидация
- Спецификация минимальной функциональной совместимости
- Средние показатели – полная чушь
- Полная запись перехода