Верно. Описание пакета, которому предшествуют соответствующие спецификаторы контекста, является компилируемым модулем, и следовательно, он может быть скомпилирован. Ada-компилятор не может создавать исполняемый файл из одних только описаний, однако он может проверить наличие ошибок в интерфейсе.

Это облегчает совместную разработку программного обеспечения - появляется возможность разработки спецификаций и проверки их безошибочности при компиляции. После этого каждая команда разработчиков может независимо от других работать над телами для различных спецификаций с большей уверенностью в совместимости отдельных частей.

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

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

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

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

David A. Wheeler (dwheeler@ida.org)

Перевод: Юрий Королев   Общая редакция перевода: Г.Ю. Сисюк

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

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