Н. Джехани - Язык Ада (1988) (1160771), страница 129
Текст из файла (страница 129)
Винт: зтяпчб! талип ВООьедм! — уипаяоп "т'," (ЬЕРТ, Я16НТ: ЗТВ1нб) ьйип ВООЬЕАМ: — !аналоя "т',=" (ЬЕРТ, Я16НТ: ЗТЙ)МВ! мппп ВООЬЕАМ; — ьтпетьп ")" керт, В)бнт: зтйпчб! геппп ВООьеАН; — ьпвеоп ")=" !Еерт, й)бнт: зтй1мб) гетега ВООЕВАН! — ЬпМоп "а" П.ЕРГ: ЗТЯ)нб; В16НТ: ЗТЯ)нб! Ьавп ЗТй)нб; — Ьпеиеп "а (ЬЕРТ ! СНАВАСТЕй; В16НТ: ЗТВ1М6! гвыпг ЗТВ1М6; — Ьпютюп "а" (ЬЕРТ: ЗТЯ)нб; й!6НТ: СНАВАСТЕЯ! гегвп ЗТЙ)нб; — ьлояоп "а" (ьерт г СНАВАСТЕЙ; В!6НТ: СНАЯАСТЕЯ) теввп ЗТЯПЧ6; !урв ООВАТЮМ )а лайв определен реализацией ганзе определен реализацией; — для типа ООВАТ1ОМ предопределены все тв операции, — что и для любогО фиксированного типа — Предопределены следующие иоключвния: СОМЗТЯА1МТ Еййой: емераеж МЦМЕЯ)С ЕВЙОЯ: вяеаргЬп; РЯООЯАМ ЕЙЯОЙ: еаевртЬп: ЗТОЯАОЕ ЕЯВОЯ: еквераеп; ТАЗК)М6 ЕЙВОЙ ".
алеераоп; впа ЗТАМОАЯО: Нвкоторье аспекты предопределенных понятий нв могут быть выражены а терминах са. мого языка. Хотя, например, перечислимый тип ВООЕЕАМ может быть записан посредством двух литералов перечисления рА(.ЗЕ и ТЙ0Е, формы управления промежуточной проверкой в самом языке выражены быть не мокнут. Примечание. Определением языка предопределены следующие библиотечные модули: — пакет САЕЕМСАЙ (см. 9.6); — пакет ЗУЗТЕп! (см.
13.7); — пакет МАСН1МЕ СООЕ(если он предусмотрен) (см. 13.6); — настраиваемая процедура 0МСНЕСКЕО СЕАШЭСАТ!ОМ (см. 13.10.1); — настраиваемая функция 0МСНЕСКЕО СОМуЕЙЗЮМ (см. 13.10.2); — настраиваемый пакет ЗЕО0ЕМТ!А1. Ю (см. 14.2.3); — настраиваемый пакет 0!ВЕСТ Ю (см. 14.2.5); — пакет ТЕХТ Ю (см. 14.3.10); — пакет Ю ЕХСЕРТЮМЗ (см. 14.5); — пакет !.ОУЧ (.Е!(ЕС Ю (см. 14.6). Приложение 0 ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ Это приложение носит информационный характер и не является частью определения стандарта языка. Термины, выделенные в тексте курсивом, либо имеют соботвенную статью, либо описываются в статьях, относящихся к логически связанным с ними понятиям.
После термина в скобках приведен соответствующий английский термин. Агрегат (абйгеба(е) — базовая операция над типом, которая объединяет значения компо. мент в составное значение индекснруемого типа (агрегат массива) или именуемого типа (агре.
гат записи)„являющихся разновидностями составного типа. Компоненты агрегата могут быть позиционными (координатными) и(ипи именованными (ключевыми). Атрибут (ацпбм!е) — базовая операция над типом, которая вырабатывает предопределен. ную характеристику поименованного понятия, указанного префиксом; некоторые атрибуты являются функциями, типом или диапазоном. Вез(естаенный тип (геа) !уре) — набор приближенных значений вещественных чисел, заданных с относительной погрешностью углавающий тип) или абсолютной погрешностью (фик. сированный тип). Вещественный тип реализуется хранимыми в памяти вычислительной машины числами и определяется точностью приближения и диапазоном.
Вид (глоде], см. параметр. Видимость (т(э(Ьйду) — доступность характеристик описанного понятия при его применении в данной точке текста программы. Списание понятия, вводящее идентификатор, называется видимым в данной точке текста программы, если это понятие осмысленно при появле.
нии его идентификатора в этой точке программы. Прямая видимость подразумевает одно описание понятия с характеристиками, уникальными в области действия, и некоторое число использований этого понятия. При именовании описание видимо на месте постфикса в именуемой компоненте или на месте имени в именованном сопоставлении. Иначе, описание видимо непосредственно всякий раз, когда единственный идентификатор имеет этот смысл.
Видимый раздал (ч1а(Ые рай), ом. пакет. Возбуждение исюаочения (га(в(пб ап ехсербоп), ом. нсюпочение. Вход (епцу) — именование точки синхронизации задач и передачи данных между ними. Вход используется для осуществления взаимодействия задач. Синтаксически вызов входа по. хож на вызов подпрограммы; его внутренний механизм определяется одним ипи несколькими олераторамн принятия, специфицирующими действия, выполняемьа при вызове входа Вычисление (еча1иабоп) — процесс получения значения (например, выражения). Этот про. цесс происходит во время выполнения программы.
Выражение (ехргевв1оп) — формула, определяющая процесс получения значения. Генератор (айоса!об — базовая операция над типом, создающей объект и вырабатывающая ссылочное значение, которое указывает на этот объект. Созданный объект должен сохраняться до тех пор, пока оуществует обозначение объекта некоторым именем. Диапазон (галде) — упорядоченный набор последовательных значений скалярного типа. Диапазон задаетоя нижней и верхней границами этого набора значений. Значение иэ диапазона называется прннедлежшдим этому диапазону. Дмскрвтный тип (<йзсге!е !уре) — упорядоченный набор различных значений. Дискретными типами являются перечислимый и целый типы. Дискретные типы используются дпя индексирования и управления повторанием в операторах цикла, а также в выборах операторов вы.
бора и вариантах записи. Дискриминвнт (б!зсг1гп1пап!) — специальный компонент объекта или значение именуемого типа Подтилы других компонентов и даже их присутствие или отсутствие могут зависеть от значения диокриминанта. Задача (!аэй) — программный модуль, функционирующий параллельно с другими частями программы. Задача задается спецификацией задачи, которая задает имя задачи, а также име. на и формальные параметры ее входов, и галом задачи, которое определяет ее выполнение.
Задачный модуль (модуль-задаче) является одним из видов программных модулей. Задачный тип — это тип, который представляет воэможность последующего описания любого количе. ства однотипных задач. Говорят, что значение эадачного типа указывает задачу. Те ииы и оп аления Именованное сопоставление (пагпеб аззос(зтюп) — способ задания связи элемента составного значения с одной или несколькими позициями с помощью их именования. Именуемая компонента (зе(ес!еб соп!ропеп!) — имя, состоящее из префикса и идентификатора, называемого постфиксом. Именуемые компоненты используются для обозначения компонент записей, входов и объектов, указанных ссылочными значениями; они также используются как расширенные имена. Именуемый тип (гесогб 1уре) — составной тип из именованных различными идентификаторами компонент, которые обычно бывают различных типов или подтипов.
Для каждой компоненты значения записи или объекта-записн в определении именуемого типа задается идентификатор, который однозначно определяет компоненту записи. Имя (пагпе) — средство представления понятия. Говорят, что имя обозначает понятие и что понятие является смыслом имени. См. также описание, префикс.
Индекс ((пбех), см, индексируемый тип. Индексируемая компонента ((пбехеб согпропеп!) — форма имени, содержащая выражения, которые задают значения индексов компоненты массива. Индексируемая компонента обозначает компоненту массива. Индексируемая компонента может также обозначать вход в семеистве входов. Индексируемый тип (аггау !уре) — составной тип из компонент одного и того же подтипа (и следовательно, одного и того жв типа). Каждая компонента однозначно идентифицируется индексом (для одномерного массива) или последовательностью индексов (для многомерного массива).
Каждый индекс должен быть значением дискретного типа и принадлежать требуемому диапазону индексов. Исключение (ехсербоп) — обозначение ошибочной ситуации, которая может произойти при выполнении программы и при этом будет зарегистрирована и обработана. Возбуждение исключения состоит в прекращении нормального выполнения программы, сигнализирующем о наличии ошибки. Обработчик исключения — это резервная часть программного текста, задающая реакцию на исключение.
Выполнение этого программного текста называется обработкой исключения. Квалифицированное выражение (цоарб!еб ехргезв!оп) — выражение, перед которым указан его тип или подтип. Используется для разрешения неоднозначности выражения (например, из.за совмещения). Компилируемый модуль (согпрйабоп опй) — описание или тело программного модуля, предназначенные для компиляции в качестве самостоятельного текста. Перед ним может быть задан спецификагор контекста, включающего другие компилируемые модули, от которых зависит данный и имена которых указаны в спецификаторах совместимости.
Компонента (согпропеп1) — значение, которое является частью более сложного значения, или обьект, который является частью более сложного объекта. Константа (сопв1ап!), см. объект. Лексема (1ех(са( е1егпеп!) — лексическии элемент, который может быть идентификатором, литералом, ограничителем или комментарием. Лимитируемый тип (11пб!еб !уре) — тип, для которого не определены неявно описанные операции присваивания и предопределенного сравнения на равенство. Все задачные типы — лимитируемые. Личный тнп может быть определен как лимитируемый. Для пимитируемого типа может быть явно описана операция сравнения на равенство. Литерал(!Лега1) — значение, явно выраженное буквами, цифрами или другими символами.
Литерал — это одно из четырех: числовой литерал, литерал перечисления, символьный литерал или строковый литерал. Личный раздел (ргша!е раг!), см. пакет. Личный тип (рпта!е 1уре) — тип, структура и набор значений которого явно определены, но непосредственно недоступны для пользователя.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
