Справочник по Ada 2012
1.1.2 Структура
Этот международный стандарт содержит тринадцать разделов, пятнадцать приложений и индекс.
Ядро языка Ada состоит из:
- Разделы с 1 по 13
Следующие Приложения по специальным потребностям определяют особенности, необходимые для некоторых областей применения:
Ядро языка и Приложения по специальным потребностям являются нормативными, за исключением материалов, перечисленных ниже, которые являются информативными:
- Текст под заголовками ЗАМЕЧАНИЯ или Примеры.
- Каждый подраздел, название которого начинается со слов «Пример» или «Примеры».
Все реализации должны соответствовать ядру языка. Кроме того, реализация может соответствовать одному или нескольким приложениям по специальным потребностям.
Следующие приложения являются информативными:
Каждый раздел делится на подразделы, имеющие общую структуру. Каждый раздел и подраздел сначала вводят свою тему. После вводного текста текст маркируется следующими заголовками:
Синтаксис
Правила синтаксиса (отступлены).
Правила разрешения имён
Правила времени компиляции, используемые при разрешении имён, включая разрешение перегрузки.
Правила легальности
Правила, проверяемые во время компиляции. Конструкт является легальным, если он подчиняется всем Правилам легальности.
Статическая семантика
Определение эффекта каждого конструкта во время компиляции.
Правила после компиляции
Правила, проверяемые перед запуском раздела. Раздел является легальным, если его модули компиляции легальны и он подчиняется всем Правилам после компиляции.
Динамическая семантика
Определение эффекта каждого конструкта во время выполнения.
Ограниченные (времени выполнения) ошибки
Ситуации, приводящие к ограниченным (времени выполнения) ошибкам (см. 1.1.5).
Ошибочное выполнение
Ситуации, приводящие к ошибочному выполнению (см. 1.1.5).
Требования к реализации
Дополнительные требования к соответствующим реализациям.
Требования к документации
Требования к документации соответствующих реализаций.
Метрики
Указанные метрики для временных/пространственных свойств выполнения определённых языковых конструкций.
Разрешения для реализации
Дополнительные разрешения, предоставленные реализатору.
Рекомендации для реализации
Дополнительные рекомендации для реализатора. Слово «следует» используется для обозначения рекомендации, а не требования. Реализация определяет, будет ли соблюдаться данная рекомендация.
ЗАМЕЧАНИЯ
1 Замечания подчёркивают последствия правил, описанных в данном (под-)разделе или где-либо ещё. Этот материал является информативным.
Примеры
Примеры иллюстрируют возможные формы описываемых конструктов. Этот материал является информативным.
