Именованное сопоставление (named association) - способ задания связи элемента составного значения с одной или несколькими позициями с помощью их именования.
Именуемый компонент (selected component) - имя, состоящее из префикса и идентификатора, называемого постфиксом. Именуемые компоненты используются для обозначения компонентов записей, входов и объектов, указанных ссылочными значениями; они также используются как расширенные имена.
Именуемый тип (record type) - составной тип из именованных различными идентификаторами компонентов, которые обычно бывают различных типов или подтипов. Для каждого компонента значения записи или объекта-записи в определении именуемого типа задается идентификатор, который однозначно определяет компонент записи.
Имя (name) - средство представления понятия. Говорят, что имя обозначает понятие, и что понятие является смыслом имени. См. также описание, префикс.
Индекс (index) - см. индексируемый тип.
Индексируемый компонент (indexed component) - форма имени, содержащая выражения, которые задают значения индексов компонента массива. Индексируемый компонент обозначает компонент массива. Индексируемый компонент может также обозначать вход в семействе входов .
Индексируемый тип (array type) - составной тип из компонентов одного и того же подтипа (и, следовательно, одного и того же типа). Каждый компонент однозначно идентифицируется индексом (для одномерного массива) или последовательностью индексов (для многомерного массива) . Каждый индекс должен быть значением дискретного типа и должен принадлежать требуемому диапазону индексов.
Исключение (exception) - обозначение ошибочной ситуации, которая может произойти при выполнении программы и при этом будет зарегистрирована и обработана. Возбуждение исключения состоит в прекращении нормального выполнения программы, сигнализирующем о наличии ошибки. Обработчик исключения — это резервная часть программного текста, задающая реакцию на исключение. Выполнение этого программного текста называется обработкой исключения.
Квалифицированное выражение (qualified expresson) — выражение, перед которым указан его тип или подтип. Используется для разрешения неоднозначности выражения (например, из-за совмещения).
Компилируемый модуль (compilation unit) - описание или тело программного модуля, предназначенные для компиляции в качестве самостоятельного текста. Перед ним может быть задан спецификатор контекста, включающего другие компилируемые модули, от которых зависит данный, и имена которых указаны в спецификаторах совместности.
Компонент (component) - значение, которое является частью более сложного значения, или объект, который является частью более сложного объекта.
Константа (constant) - см. объект.
Лексема (lexical element) - лексический элемент, который может быть идентификатором, литералом, ограничителем или комментарием.
Лимитируемый тип (limited type) - тип, для которого не определены неявно описанные операции присваивания и предопределенного сравнения на равенство. Все заданные типы - лимитируемые. Личный тип может быть определен как лимитируемый. Для лимитируемого типа может быть явно описана операция сравнения на равенство.
Литерал (literal) - значение, явно выраженное буквами, цифрами или другими символами. Литерал - это одно из четырех: числовой литерал, литерал перечисления, символьный литерал или строковый литерал.
Личный раздел (private part) - см. пакет.
Личный тип (private type) - тип, структура и набор значений которого явно определены, но непосредственно недоступны для пользователя. О личном типе известны только его дискриминанты (если они есть) и набор операций, определенных над его значениями. Личный тип и соответствующие операции определяются в видимом разделе пакета или в разделе формальных параметров настройки. Для личных типов, не являющихся лимитируемыми, определены также операции присваивания, сравнения на равенство и неравенство.
Модельное число (model number) - точно представляемое значение вещественного типа. Операции над вещественными типами определяются в терминах операций над модельными числами этих типов. Свойства модельных чисел и операции над ними являются минимальными свойствами, предписанными для всех реализаций вещественных чисел.
Набор (collection) - вся совокупность объектов, создаваемых вычислением генераторов для некоторого ссылочного типа.
Настраиваемый модуль (generic unit) - шаблон для множества подпрограмм или пакетов. Создаваемые с использованием этого шаблона подпрограмма или пакет называются экземплярами данного настраиваемого модуля. Конкретизация настройки является видом описания, которое создает экземпляр. Настраиваемый модуль пишется в виде подпрограммы или пакета с предшествующим спецификации разделом формальных параметров настройки. Формальным параметром настройки является либо тип, либо подпрограмма, либо объект. Настраиваемый модуль - это один из видов программных модулей.
Область действия (scope) - см. описание.
Обозначить (denote) - см. описание.
Обработчик (handler) - см. исключение.
Объект (object) - понятие, которое обладает значением некоторого типа. Программа создает объект либо при предвыполнении описания объекта, либо при вычислении генератора. Описание или генератор задают тип объекта, объект может обладать значением только этого типа.
Ограничение (constraint) - средство выделения подмножества значений типа. Принадлежащее этому подмножеству значение удовлетворяет ограничению.
Ограничение диапазона (range constraint) - способ определения диапазона типа, т.е. подмножества значений этого типа, принадлежащих диапазону.
Ограничение дискриминанта (discriminant constraint) - способ определения дискриминанта для именуемого типа или личного типа.
Ограничение индекса (index constraint) - определение ограничения в задании нижней и верхней границ диапазона для каждого индекса индексируемого типа.
Оператор (statement) - синтаксическая конструкция, определяющая одно или несколько действий, реализуемых во время выполнения программы.
Оператор блока (block statement) - составной оператор, который может содержать последовательность операторов. Он может также содержать раздел описаний и обработчики исключений, которые являются локальными в данном операторе блока.
Оператор принятия (accept statement) - см. вход.
Операция (operator) - ограничитель или зарезервированное слово, используемые для указания алгоритма преобразования значений одного или двух операндов в результат заданного типа. Унарную операцию записывают перед операндом; бинарную операцию - между двумя операндами. Операция - это специальный вид вызова функции. Операция может быть описана как функция. Многие операции неявно описываются описанием типа (например, большинство описаний типа подразумевает описание операции сравнения на равенство для значений этого типа).
Операция типа (operation) - элементарное действие, связанное с одним или нес- колькими типами. Операция типа неявно описывается при описании этого типа, либо является подпрограммой, которая имеет параметр или результат заданного типа. Вместо термина ’’операция типа” в стандарте используется термин ’’операция”, который не вызывает неоднозначности при его использовании в контексте.
Описание (declaration) - синтаксическая конструкция, которая связывает идентификатор (или другие обозначения) с понятием. Это сопоставление находится внутри области текста, называемого областью действия описания. Внутри области действия описания существуют мета использования идентификатора для ссылки на связанное с ним понятие. Идентификатор, употребляемый в таких местах, называется простым именем понятия; говорят, что имя обозначает связанное с ним понятие.
Описание переименования (renaming declaration) - описание другого имени понятия.
Пакет (package) - программный модуль, который определяет группу логически связанных понятий, таких как типы, объекты этих типов и подпрограммы с параметрами этих типов. Пакет состоит из описания пакета и тела пакета. Описание пакета имеет видимый раздел, содержащий описания всех понятий, которые могут быть явно использованы вне пакета. Он может содержать также личный раздел с деталями реализации, которые заканчивают спецификацию видимых понятий, но которые недоступны для пользователя пакета. Тело пакета содержит реализации подпрограмм (и, возможно, задач), которые заданы в описании пакета. Пакет- это один из видов программного модуля.
Параметр (parameter) - одно из именованных понятий, связанных с подпрограммой, входом или настраиваемым модулем и используемых для связи с соответствующим телом подпрограммы, оператором принятия или настраиваемым телом. Формальный параметр - это идентификатор, используемый для обозначения именованного понятия в теле. Фактический параметр - это конкретное понятие, сопоставленное соответствующему формальному параметру при вызове подпрограммы, вызове входа или конкретизации настройки. Вид формального параметра определяет, поставляет ли фактический параметр значение для формального или формальный параметр - для фактического, или и то и другое. Сопоставление фактических параметров формальным параметрам может быть определено с помощью наименованного сопоставления или с помощью позиционного сопоставления или их комбинацией.
Переменная (variable) - см. объект.
Перечислимый тип (enumeration type) - дискретный тип, значения которого представляются литералами перечисления, заданными явно в описании типа. Эти литералы перечисления являются либо идентификаторами, либо символьными литералами.
Плавающий тип (floating point type) - см. вещественный тип.
Подкомпонент (subcomponent) - компонент либо компонент другого компонента или подкомпонента.
Подпрограмма (subprogram) — программный модуль, который может быть либо процедурой, либо функцией. Процедура определяет последовательность действий и вызывается с помощью вызова процедуры. Функция определяет последовательность действий, а также возвращает значение, называемое результатом, и, таким образом, вызов функции является выражением. Подпрограмма задается в виде описания подпрограммы, которое определяет ее имя, формальные параметры и (для функции) ее результат, и тела подпрограммы, которое определяет последовательность действий. В вызове подпрограммы задаются фактические параметры, которые сопоставляются с формальными параметрами. Подпрограмма — это один из видов программного модуля.
Подтип (subtype) - набор значений данного типа, определяемый ограничением типа. Каждое значение из множества значений подтипа принадлежит этому подтипу и удовлетворяет ограничению, определяющему подтип.
Позиционное сопоставление (positional association) - способ задания связи элемента с позицией, использующий позицию размещения элемента для определения этого элемента.
Постфикс (selector) - см. именуемый компонент.
Прагма (pragma) - языковая конструкция для передачи информации компилятору.
Предвыполнение (elaboration) - процесс, применяемый к описанию, в результате которого описание выполняет свое назначение (например, создается объект). Этот процесс происходит при выполнении программы.
Префикс (prefix) - начальная часть некоторых видов имени. Префикс - это либо вызов функции, либо имя.
Присваивание (assignement) - базовая операция типа, заменяющая текущее значение переменной новым значением. Оператор присваивания определяет слева переменную, а справа - выражение, значение которого обязано стать новым значением переменной.
Программа (program) - совокупность из нескольких компилируемых модулей, один из которых является подпрограммой, называемой главной программой. Выполнение программы состоит из выполнения главной программы, которая может вызвать подпрограммы, описанные в других компилируемых модулях программы.
Программный модуль (program unit) - либо настраиваемый модуль, либо пакет, либо подпрограмма, либо заданный модуль.
Производный тип (derived type) - тип, значения и операции которого есть копии значений и операций существующего типа. Существующий тип называется родительским типом производного типа.
Простое имя (simple name) — см. описание, имя
Процедура (procedure) — см. подпрограмма.
Прямая видимость (direct visibility) - см. видимость.
Раздел вариантов (variant part) - определяет альтернативные компоненты записи в зависимости от значения дискриминанта записи. Каждое значение дискриминанта устанавливает одну из альтернатив раздела вариантов.
Раздел описаний (declarative part) - последовательность описаний. Он может также содержать логически связанную информацию, например, тела подпрограмм и спецификаторы представления.
Рандеву (rendezvous) - взаимодействие между двумя параллельно выполняемыми задачами, когда одна задача вызвала вход другой задачи, и в вызванной задаче для этого вызова выполняется соответствующий оператор принятия.
Расширенное имя (expanded name) - способ обозначения понятия, которое описано непосредственно внутри некоторой конструкции. Расширенное имя имеет форму именуемого компонента: префикс обозначает конструкцию (программный модуль или блок, цикл или оператор принятия) , постфикс - это простое имя понятия.
Родительский тип (parent type) - см. производный тип.
Скалярный тип (scalar type) - упорядоченный набор значений с операциями отношения. К скалярному типу относится дискретный или вещественный типы. Объект или значение скалярного типа не имеет компонентов.
