Это верно; тип находится в приватной части пакета. Необходимо отметить, что даже если что-то реализовано при помощи ссылочных типов, это вовсе не значит, что пользаватели должны видеть все детали реализации. В данном примере пользовали могут помещать в стек и извлекать значения из него, не имея представления как работают ссылки.

Отметим, что эта версия пакета Generic_Stack является хорошо "компонуемой", т.к. она поддерживает операции присваивания (:=) и равенства (=), что позволяет нам создавать "стеки стеков". Даже если никогда не понадобится создавать "стеки стеков", проверка "компонуемости" является хорошим показателем универсальности компонента, предназначенного для повторного использования [Wheeler 1992].

Вы можете перейти к следующему разделу.

Вы можете также:

PREVIOUS Вернуться к вопросу

OUTLINE Вернуться к содержанию Урока 12

David A. Wheeler (dwheeler@ida.org)

Перевод:   Общая редакция перевода:

Исходная копия этого документа находится по адресу "http://www.adahome.com/Tutorials/Lovelace/s12sfr2.htm".

Исходная копия перевода размещена на сайте http://www.ada-ru.org