Руководство по Ada (Ada 2022)
K.1 Определяемые языком аспекты
Этот подраздел обобщает определения аспектов, определяемых языком. Аспекты — это свойства сущностей, которые могут быть заданы программой Ada; если не указано иное, аспекты могут быть заданы с помощью спецификации_аспекта.
Адрес
Машинный адрес сущности. См. 13.3.
Агрегат
Механизм для определения пользовательских агрегатов. См. 4.3.5.
Выравнивание (объект)
Выравнивание объекта. См. 13.3.
Выравнивание (подтип)
Выравнивание подтипа. См. 13.3.
All_Calls_Remote
Все косвенные или диспетчеризованные удалённые вызовы подпрограмм, а также все прямые удалённые вызовы подпрограмм должны использовать подсистему коммуникации раздела. См. E.2.3.
Allows_Exit
Указание того, будет ли подпрограмма корректно работать при произвольных передачах управления. См. 5.5.3.
Асинхронный
Удалённые вызовы процедур асинхронны; вызывающая сторона продолжает работу без ожидания возвращения вызова. См. E.4.1.
Атомарный
Указать, что тип, объект или компонент являются атомарными. См. C.6.
Atomic_Components
Указать, что компоненты массива или объекта являются атомарными. См. C.6.
Attach_Handler
Защищённая процедура прикреплена к прерыванию. См. C.3.1.
Bit_Order
Порядок нумерации битов в представлении_записи. См. 13.5.3.
Кодирование
Внутреннее представление литералов перечислений. Определяется в представлении_перечисления, а не в спецификации_аспекта. См. 13.4.
Component_Size
Размер компонента массива в битах. См. 13.3.
Constant_Indexing
Конвенция
Конвенция вызова или другая конвенция, используемая для взаимодействия с другими языками. См. B.1.
CPU
Процессор, на котором должна выполняться данная задача или вызывающая задача для защищённой операции. См. D.16.
Default_Component_Value
Значение по умолчанию для компонентов массива скалярного типа. См. 3.6.
Default_Initial_Condition
Условие, которое будет выполняться после инициализации объекта по умолчанию. См. 7.3.3.
Default_Iterator
Итератор по умолчанию, используемый в циклах for. См. 5.5.1.
Default_Storage_Pool
Бассейн памяти по умолчанию для экземпляра шаблона. См. 13.11.3.
Default_Value
Значение по умолчанию для скалярного подтипа. См. 3.5.
Discard_Names
Запрос на уменьшение объёма памяти для имён, связанных с сущностью. См. C.5.
Диспетчеризация
Шаблонные формальные параметры, используемые в реализации сущности. См. H.7.1.
Диспетчеризация_Область
Область (группа процессоров), на которой должна выполняться данная задача. См. D.16.1.
Dynamic_Predicate
Условие, которое будет выполняться для объектов заданного подтипа; подтип не является статическим. См. 3.2.4.
Elaborate_Body
Указанный пакет будет иметь тело, и это тело будет обработано сразу после объявления. См. 10.2.1.
Exclusive_Functions
Указывает поведение взаимного исключения защищённых функций в защищённом типе. См. 9.5.1.
Экспорт
Сущность экспортируется в другой язык. См. B.1.
External_Name
Имя, используемое для идентификации импортированной или экспортированной сущности. См. B.1.
External_Tag
Уникальный идентификатор помеченного типа в потоках. См. 13.3.
Full_Access_Only
Указать, что изменчивый тип, объект или компонент имеют полный доступ. См. C.6.
Глобальный
Контракт использования глобального объекта. См. 6.1.2.
Global'Class
Контракт использования глобального объекта, унаследованный при производном типе. См. 6.1.2.
Implicit_Dereference
Механизм для пользовательского неявного .all. См. 4.1.5.
Импорт
Сущность импортируется из другого языка. См. B.1.
Независимый
Указать, что тип, объект или компонент независимо адресуются. См. C.6.
Independent_Components
Указать, что компоненты массива или записи, или массив объектов независимо адресуются. См. C.6.
Встроенный
Для повышения эффективности, вызов подпрограммы требуется как встроенный. См. 6.3.2.
Входной
Функция для чтения значения из потока для заданного типа, включая любые границы и дискриминанты. См. 13.13.2.
Input'Class
Функция для чтения значения из потока для широкого типа класса, связанного с данным типом, включая любые границы и дискриминанты. См. 13.13.2.
Integer_Literal
Определяет функцию для реализации пользовательских целочисленных литералов. См. 4.2.1.
Interrupt_Handler
Защищённая процедура может быть прикреплена к прерываниям. См. C.3.1.
Interrupt_Priority
Приоритет объекта или типа задачи или приоритет защищённого объекта или типа; приоритет в диапазоне прерываний. См. D.1.
Iterator_Element
Тип элемента, используемый для пользовательских итераторов. См. 5.5.1.
Iterator_View
Альтернативный тип, используемый для итераторов элементов контейнера. См. 5.5.1.
Layout (record)
Макет компонентов записи. Определяется в представлении_записи, а не в спецификации_аспекта. См. 13.5.1.
Link_Name
Символ линковки, используемый для идентификации импортированной или экспортированной сущности. См. B.1.
Machine_Radix
Основание (2 или 10), используемое для представления десятичного типа с фиксированной точкой. См. F.1.
Max_Entry_Queue_Length
Максимальная длина очереди входа для типа задачи, защищённого типа или входа. См. D.4.
No_Controlled_Parts
Указывает, что тип и его потомки не имеют контролируемых частей. См. H.4.1.
No_Return
Подпрограмма не возвращается нормально. См. 6.5.1.
Неблокирующийся
Указывает, что связанная подпрограмма не блокирует. См. 9.5.
Вывод
Процедура записи значения в поток для заданного типа, включая любые границы и дискриминанты. См. 13.13.2.
Класс вывода
Процедура записи значения в поток для типа класса, связанного с заданным типом, включая любые границы и дискриминанты. См. 13.13.2.
Упаковщик
Минимизация хранения при размещении записей и массивов. См. 13.2.
Параллельные вызовы
Указывает, ожидается ли вызов данной подпрограммы параллельно. См. 9.10.1.
Параллельный итератор
Указание о том, может ли подпрограмма использовать несколько потоков управления для вызова процедуры тела цикла. См. 5.5.3.
Последовательность
Постусловие; условие, которое будет истинным после вызова. См. 6.1.1.
Последовательность класса
Постусловие, которое применяется к соответствующим подпрограммам типов-потомков. См. 6.1.1.
До
Предварительное условие; условие, которое ожидается истинным перед вызовом. См. 6.1.1.
Предварительное условие класса
Предварительное условие, которое применяется к соответствующим подпрограммам типов-потомков. См. 6.1.1.
Ошибка предиката
Действие, которое должно выполняться при ошибке проверки предиката. См. 3.2.4.
Предварительная инициализация
Объявляет, что тип имеет предварительную инициализацию. См. 10.2.1.
Предварительная обработка
Исключение выполнения кода во время обработки для данного пакета. См. 10.2.1.
Приоритет
Приоритет объекта или типа задачи или приоритет объекта или типа защищенного объекта; приоритет не находится в диапазоне прерываний. См. D.1.
Чистый
В подпрограммах данного пакета избегаются побочные эффекты. См. 10.2.1.
Отображение_Значения
Процедура определения изображения заданного типа. См. 4.10.
Чтение
Процедура чтения значения из потока для заданного типа. См. 13.13.2.
Чтение класса
Процедура чтения значения из потока для типа класса, связанного с заданным типом. См. 13.13.2.
Вещественная_литерал
Определяет функцию или функции для реализации пользовательских вещественных литералов. См. 4.2.1.
Структура записи
См. Размещение. См. 13.5.1.
Относительный_срок_выполнения
Параметр задачи или защищенного типа, используемый в планировании по раннему сроку завершения. См. D.2.6.
Интерфейс удаленного вызова
Подпрограммы в данном пакете могут использоваться в удаленных вызовах процедур. См. E.2.3.
Удалённые_типы
Типы в данном пакете могут использоваться в удаленных вызовах процедур. См. E.2.2.
Общий_пассивный
Данный пакет используется для представления общей памяти в распределённой системе. См. E.2.1.
Размер (объект)
Размер объекта в битах. См. 13.3.
Размер (подтип)
Размер подтипа в битах. См. 13.3.
Маленький
Коэффициент масштабирования для фиксированного типа. См. 3.5.10.
Стабильные_свойства
Список функций, описывающих характеристики, которые обычно не изменяются примитивными операциями типа или отдельной примитивной подпрограммой. См. 7.3.4.
Стабильные_свойства_класса
Список функций, описывающих характеристики, которые обычно не изменяются примитивными операциями класса типов или примитивной подпрограммой для такого класса. См. 7.3.4.
Статический
Указывает, что связанная функция выражения может использоваться в статических выражениях. См. 6.8.
Статический_предикат
Условие, которое будет истинным для объектов данного подтипа; подтип может быть статическим. См. 3.2.4.
Пул_памяти
Пул памяти, из которого new выделяет для данного типа доступа. См. 13.11.
Размер_памяти (доступ)
Устанавливает размер памяти для выделений для типа доступа. См. 13.11.
Размер_памяти (задача)
Размер в элементах памяти, зарезервированных для типа задачи или отдельного объекта задачи. См. 13.3.
Размер_потока
Размер в битах, используемый для представления элементарных объектов в потоке. См. 13.13.2.
Строковая_литерал
Определяет функцию для реализации пользовательских строковых литералов. См. 4.2.1.
Синхронизация
Определяет, будет ли реализована данная примитивная операция синхронизированного интерфейса входом или защищённой процедурой. См. 9.5.
Инвариант_типа
Условие, которое будет истинным для всех объектов типа. См. 7.3.2.
Инвариант_типа_класса
Условие, которое будет истинным для всех объектов класса типов. См. 7.3.2.
Непроверенное_объединение
Тип используется для взаимодействия с типом объединения C. См. B.3.3.
Использовать_формальный
Обобщённые формальные параметры, используемые в реализации сущности. См. H.7.1.
Индексирование_переменных
Переменное
Объявить тип, объект или компонент как переменный. См. C.6.
Переменные_компоненты
Объявить, что компоненты массива типа или объекта являются переменными. См. C.6.
Запись
Процедура записи значения в поток для заданного типа. См. 13.13.2.
Запись класса
Процедура записи значения в поток для типа класса, связанного с заданным типом. См. 13.13.2.
Уступить
Обеспечивает, что вызываемая сущность включает точку диспетчеризации задач. См. D.2.1.
