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