Руководство по Ada (Ada 2022)
1.3.3 Другие синтаксические конструкции
агрегат
конструкция, используемая для определения значения составного типа путём указания значений компонентов типа
единица компиляции
программная единица, которая компилируется отдельно
Примечание: Единица компиляции содержит либо объявление, либо тело, либо переименование программной единицы.
конструкция
фрагмент текста (явный или неявный), являющийся экземпляром синтаксической категории, определенной в разделе Синтаксис
контейнер
структурированный объект, представляющий собой коллекцию элементов одного и того же (потенциально универсального) типа, такого как вектор или дерево
Примечание: Несколько предопределённых типов контейнеров предоставляются дочерними пакетами Ada.Containers (см. A.18.1).
агрегат контейнера
конструкция, используемая для определения значения типа, представляющего собой коллекцию элементов, путём явного указания элементов в коллекции
базовый язык
раздел или приложение, в котором определены языковые конструкции или возможности, предоставляемые всеми соответствующими реализациями
Примечание: Конструкция считается частью базового языка, если она определена в разделе или приложении базового языка.
объявление
языковая конструкция, которая ассоциирует имя с (представлением) сущностью
Примечание: Объявление может быть явно указано в тексте программы (явное объявление), или может быть подразумеваемое на определенном месте в тексте в силу семантики другой конструкции (неявное объявление).
специализированная единица
негенерическая единица, созданная путём инстанцирования генерической единицы
генерическая единица
шаблон для (негенерической) программной единицы
Примечание 1: Шаблон может быть параметризован объектами, типами, подпрограммами и пакетами.
Примечание 2: Генерические единицы могут использоваться для выполнения роли, которую макросы иногда играют в других языках.
итератор
конструкция, используемая для перебора элементов массива или контейнера
Примечание: Итераторы могут быть определены пользователем и могут выполнять произвольные вычисления для доступа к элементам контейнера.
фильтр итератора
конструкция, которая используется для ограничения элементов, производимых итерацией, теми, для которых булево условие вычисляется как True
единица библиотеки
отдельно компилируемая программная единица, которая является пакетом, подпрограммой или генерической единицей
Примечание: Единицы библиотеки могут иметь другие (логически вложенные) единицы библиотеки в качестве дочерних элементов и могут иметь другие программные единицы, физически вложенные в них. Корневая единица библиотеки вместе со своими дочерними и внучатыми элементами и т.д. образуют подсистему.
главная конструкция
одна из определенных исполняемых конструкций, для которых могут существовать объекты или задачи, чья продолжительность заканчивается с завершением конструкции
Примечание: Выполнение главной конструкции является главной, к которой объекты и задачи ассоциируются для целей ожидания и завершения.
необходимая единица компиляции
единица компиляции, которая необходима для получения исполняемой части, потому что некоторая сущность, объявленная или определенная внутри единицы, используется где-то еще в части
пакет
программная единица, которая определяет интерфейс к группе логически связанных сущностей вместе с их реализацией
Примечание: Обычно пакет содержит объявление типа (часто частный тип или частное расширение) вместе с объявлениями основных подпрограмм типа, которые могут вызываться извне пакета, в то время как их внутренние механизмы остаются скрытыми для пользователей извне.
параллельная конструкция
исполняемая конструкция, которая определяет несколько активностей одной задачи, которые могут выполняться параллельно посредством выполнения нескольких логических потоков управления
раздел
часть программы, которая состоит из набора взаимозависимых единиц библиотеки
Примечание: Каждый раздел может выполняться в отдельном адресном пространстве, возможно, на отдельном компьютере. Программа может содержать только один раздел, или она может быть распределена по нескольким разделам, которые могут выполняться одновременно.
псевдоним
директива компилятора для предоставления контроля, превышающего тот, который предоставляется другими синтаксическими конструкциями языка
Примечание: Существуют определённые языковые псевдонимы, которые дают инструкции по оптимизации, управлению отображением и т. д. Реализация может поддерживать дополнительные (определенные реализацией) псевдонимы.
программа
набор разделов, каждый из которых может выполняться в отдельном адресном пространстве, возможно, на отдельном компьютере
программная единица
языковая конструкция, которая является пакетом, задачей, защищенной единицей, защищенным входом, генерической единицей или явно объявленной подпрограммой, отличной от литерала перечисления
Примечание: Некоторые виды программных единиц могут быть скомпилированы отдельно. В качестве альтернативы они могут быть физически вложены в другие программные единицы.
выражение с сокращением
выражение, которое определяет способ отображения или преобразования коллекции значений в новый набор значений, а затем суммирования значений путём применения операции для уменьшения набора до одного значения
переименование
объявление, которое не определяет новой сущности, а вместо этого определяет новое представление существующей сущности
приложение для специализированных потребностей
приложение, в котором определены языковые конструкции или возможности, которые не обязательно предоставляются всеми соответствующими реализациями
подраздел
тело программной единицы, которое может быть скомпилировано отдельно от её содержащей программной единицы
