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