Справочник по Ada 2012
K.1 Определяемые языком аспекты
Этот подраздел обобщает определения аспектов языка, заданных в других местах. Аспекты — это свойства сущностей, которые могут быть заданы программой Ada; если не указано иное, аспекты могут быть заданы с помощью спецификации_аспекта.
Адрес
Машинный адрес сущности. См. 13.3.
Выравнивание (объект)
Выравнивание объекта. См. 13.3.
Выравнивание (подтип)
Выравнивание подтипа. См. 13.3.
All_Calls_Remote
Все косвенные или распределительные удалённые вызовы подпрограмм, а также все прямые удалённые вызовы подпрограмм должны использовать подсистему межпроцессного взаимодействия. См. E.2.3.
Асинхронный
Удаленные вызовы процедур являются асинхронными; вызывающая сторона продолжает выполнение без ожидания возврата вызова. См. E.4.1.
Атомарный
Указать, что тип, объект или компонент являются атомарными. См. C.6.
Атомарные_Компоненты
Указать, что компоненты массива типа или объекта являются атомарными. См. C.6.
Attach_Handler
Защищенная процедура присоединяется к прерыванию. См. C.3.1.
Порядок_Битов
Порядок нумерации битов в разделе_представления_записи. См. 13.5.3.
Кодирование
Внутреннее представление перечислительных констант. Задаётся разделом_представления_перечисления, а не спецификацией_аспекта. См. 13.4.
Размер_Компонента
Размер компонента массива типа в битах. См. 13.3.
Постоянная_Индексация
Конвенция
Конвенция вызова или другая конвенция, используемая для взаимодействия с другими языками. См. B.1.
Процессор
Процессор, на котором должна выполняться данная задача. См. D.16.
Значение_Компонента_По_Умолчанию
Значение по умолчанию для компонентов массива скалярного подтипа. См. 3.6.
Итератор_По_Умолчанию
Итератор по умолчанию, который будет использоваться в циклах for. См. 5.5.1.
Пул_Память_По_Умолчанию
Пул памяти по умолчанию для экземпляра обобщенного типа. См. 13.11.3.
Значение_По_Умолчанию
Значение по умолчанию для скалярного подтипа. См. 3.5.
Discard_Names
Запрос на уменьшение размера памяти для имён, связанных с сущностью. См. C.5.
Область_Распределения
Область (группа процессоров), на которой должна выполняться данная задача. См. D.16.1.
Динамическое_Условие
Условие, которое должно выполняться для объектов данного подтипа; подтип не является статическим. См. 3.2.4.
Выполнение_Тела
Указанный пакет должен иметь тело, и это тело выполняется сразу после объявления. См. 10.2.1.
Исключительные_Функции
Указывает поведение взаимной исключительности защищённых функций в защищённом типе. См. 9.5.1.
Экспорт
Сущность экспортируется в другой язык. См. B.1.
Имя_Внешней_Ссылки
Имя, используемое для идентификации импортируемой или экспортируемой сущности. См. B.1.
Внешний_Тэг
Уникальный идентификатор помеченного типа в потоках. См. 13.3.
Неявная_Деферентция
Механизм для пользовательской неявной .all. См. 4.1.5.
Импорт
Сущность импортируется из другого языка. См. B.1.
Независимый
Указать, что тип, объект или компонент могут быть независимо адресованы. См. C.6.
Независимые_Компоненты
Указать, что компоненты массива или записи, или массива объектов могут быть независимо адресованы. См. C.6.
Встраивание
Для повышения эффективности запрошено встраивание вызовов для подпрограммы. См. 6.3.2.
Вход
Функция для чтения значения из потока для заданного типа, включая любые границы и дискриминанты. См. 13.13.2.
Вход'Класс
Функция для чтения значения из потока для типа, связанного с заданным типом, включая любые границы и дискриминанты. См. 13.13.2.
Обработчик_Прерываний
Защищённая процедура может быть прикреплена к прерываниям. См. C.3.1.
Приоритет_Прерывания
Приоритет объекта или типа задачи, или приоритет защищённого объекта или типа; приоритет находится в диапазоне прерываний. См. D.1.
Элемент_Итератора
Тип элемента, который будет использоваться для пользовательских итераторов. См. 5.5.1.
Макет (запись)
Макет компонентов записи. Задаётся в разделе_представления_записи, а не в спецификации_аспекта. См. 13.5.1.
Имя_Связи
Символ линкера, используемый для идентификации импортируемой или экспортируемой сущности. См. B.1.
Основание_Машины
Основание (2 или 10), используемое для представления десятичного типа с фиксированной точкой. См. F.1.
Без_Возврата
Процедура не вернётся обычным образом. См. 6.5.1.
Выход
Процедура для записи значения в поток для заданного типа, включая любые границы и дискриминанты. См. 13.13.2.
Выход'Класс
Процедура для записи значения в поток для типа, связанного с заданным типом, включая любые границы и дискриминанты. См. 13.13.2.
Упаковывание
Минимизация памяти при компоновке записей и массивов. См. 13.2.
После
Пост условие; условие, которое должно выполняться после вызова. См. 6.1.1.
После'Класс
Пост условие, унаследованное при выводе типа. См. 6.1.1.
Перед
Пред условие; условие, которое должно выполняться перед вызовом. См. 6.1.1.
Перед'Класс
Пред условие, унаследованное при выводе типа. См. 6.1.1.
Ошибка_Проверки_Условий
Действие, которое должно выполняться при ошибке проверки условия. См. 3.2.4.
Предобработка
Выполнение кода во время обработки для данного пакета избегается. См. 10.2.1.
Приоритет
Приоритет объекта или типа задачи, или приоритет защищённого объекта или типа; приоритет не находится в диапазоне прерываний. См. D.1.
Чистый
В подпрограммах данного пакета избегаются побочные эффекты. См. 10.2.1.
Чтение
Процедура чтения значения из потока для заданного типа. См. 13.13.2.
Read'Class
Процедура чтения значения из потока для типа всего класса, связанного с заданным типом. См. 13.13.2.
Макет записи
См. Макет. См. 13.5.1.
Relative_Deadline
Параметр задачи, используемый в планировании по принципу наименьшего срока. См. D.2.6.
Remote_Call_Interface
Подпрограммы в заданном пакете могут быть использованы в удалённых вызовах процедур. См. E.2.3.
Remote_Types
Типы в данном пакете могут быть использованы в удалённых вызовах процедур. См. E.2.2.
Shared_Passive
Данный пакет используется для представления общей памяти в распределённой системе. См. E.2.1.
Размер (объекта)
Размер объекта в битах. См. 13.3.
Размер (подтипа)
Размер подтипа в битах. См. 13.3.
Small
Коэффициент масштабирования для типа с фиксированной точкой. См. 3.5.10.
Static_Predicate
Условие, которое должно быть истинным для объектов заданного подтипа; подтип может быть статическим. См. 3.2.4.
Storage_Pool
Пул памяти, из которого new будет выделять для данного типа доступа. См. 13.11.
Storage_Size (доступ)
Устанавливает размер памяти для выделения для типа доступа. См. 13.11.
Storage_Size (задача)
Размер в элементах памяти, резервированных для типа задачи или отдельного объекта задачи. См. 13.3.
Stream_Size
Размер в битах, используемых для представления элементарных объектов в потоке. См. 13.13.2.
Синхронизация
Определяет, должен ли заданный примитивный оператор синхронизированного интерфейса реализовываться записью или защищённой процедурой. См. 9.5.
Type_Invariant
Условие, которое должно быть истинным для всех объектов типа. См. 7.3.2.
Type_Invariant'Class
Условие, которое должно выполняться для всех объектов в классе типов. См. 7.3.2.
Unchecked_Union
Тип используется для взаимодействия с типом объединения C. См. B.3.3.
Variable_Indexing
Volatile
Объявить, что тип, объект или компонент является переменным. См. C.6.
Volatile_Components
Объявить, что компоненты массива или объекта являются переменными. См. C.6.
Write
Процедура записи значения в поток для заданного типа. См. 13.13.2.
Write'Class
Процедура записи значения в поток для типа всего класса, связанного с заданным типом. См. 13.13.2.
