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