Н. Джехани - Язык Ада (1988) (1160771), страница 130
Текст из файла (страница 130)
О личном типе известны только его дис. кримннанты (если они есть) и набор операций, определенных над его значениями. Личный тип и соответствующие операции определяются в видимом разделе пакета или в разделе формальных параметров настройки. Для личных типов, не являющихся лимитируемыми, определе. ны также операции присваивания, сравнения на равенство и неравенство.
Модельное число (любе) погпЬег) — точно представляемое значение вещественного типа. Операции над вещественными типами определяются в терминах операций над модельными числами этих типов. Свойства модельных чисел и операции над ними являются минимальны. ми свойствами, предписанными для всех реализаций вещественных чисел. Набор (сойесбоп) — вся совокупность объектов, создаваемых вычислением генераторов для некоторого ссылочного типа. Настраиваемый модуль (бепепс опй) — шаблон для множества подпрограмм или пакетов. Создаваемые с использованием этого шаблона подпрограмма или пакет называются экземпля- Т нны и оп ешения рами данного настраиваеиого модуля.
Конкретизация настройки является видом описаний ко. торсе создает экземпляр. Настраиваемый модуль пишется в виде подпрограммы или пакета с предшествующим спецификации разделом формальных параметров настройки. Формальным параметром настроики является либо тип, либо подпрограмиа, либо объект. Настраиваемый модуль — это один из видой программных модулей.
Область действия (всоре), см. описание. Обозначить (сепо!е), см. описание. Обработчик (Лапб(ег), см. исключение. Объект (об)ес!) — понятие, которое обладает значением некоторого типа. Программа создает объект либо при предвыполнении описания объекта, либо при вычислении генератора. Описание или генератор задают тип объекта, объект может обладать значением только этого типа. Ограничение (сопз(га1п!) — средство выделения подмножества значений типа. Принадпе. жащее этому подмножеству значение удовлетворяет ограничению.
Ограничение диапазона (галде сонэ!га!п!) — способ определения диапазона типа, т. е. подмножества значений этого типа, принадлежащих диапазону. Ограничение дискриминанта (б!зст!гп1пап!'сопв(га1п!) — способ определения дискриминанта для именуемого типа или личного типа. Ограничение индекса ()пбех сонэ!га(п!) — определение ограничения в задании нижней и верхнеи границ для каждого индекса индексируемого типа.
Оператор (э(а!егпеп!) — синтаксическая конструкция, определяющая одно или несколько деиствий, реализуемых во время выполнения программы. Оператор блока (б!оск з(а(егпеп!) — составной оператор, который может содержать после. довательность операторов. Он может также содержать раздел описаний и обработчики исключений, которые являются локальными в данном операторе блока. Оператор принятия (ассер! в(а!отпел!), см. вход. Операция (орега(ог) — ограничитель или зарезервированное слово, используемое для указания алгоритма преобразования значений одного или двух операндов в результат заданного типа.
Унарную операцию записывают перед операндом; бинарную операцию — между двумя операндами. Операция — это специапьныи вид вызова функции. Операция может быть описана как функция. Многие операции неявно описываются описанием типа (например, большинство описаний типа подразумевает описание операции сравнения на равенство для значении этого типа). Операция типа (орега(юп) — элементарное действие, связанное с одним или несколькими типами. Операция типа'> неявно описывается при описании этого типа либо является подпрограммой, которая имеет параметр или результат заданного типа Описание (бес)агабоп] — синтаксическая конструкция, которая связывает идентификатор (или другие обозначения) с понятием.
Это сопоставление внутри области текста, называемой областью действия описания. Внутри области действия описания существуют места испольэо. вания идентификатора для ссыпки на связанное с ним понятие. Идентификатор, употребляемый в таких местах, называется простым именем понятия; говорят, что иия обозначает свя. ванное с ним понятие. Описание переименования (гепапйпб бес)ага!юп) — описание другого имени понятия. Пакет(раскабе) — прогРаммный модуль, который опРеделяет группу логически связанных понятий, таких как типы, объекты этих типов и подпрограммы с параиетрами этих типов.
Пакет состоит из описания пакета и тела пакета. Описание пакета имеет видимый раздел, содержащий описания всех понятий, которые могут быть явно использованы вне пакета. Он может содержать также личный раздел с деталями реализации, которые заканчивают спецификацию видимых понятий, но которые недоступны для пользователя пакета. уело пакета содержит реализации подлрограми (и, возможно, задач), которые заданы в описании пакета. Пакет — это один иэ видов программного модуля.
Параметр (рагагпе(еб — одно иэ именованных понятий, связанных с подпрограммой, ахо. дом или настраиваемым модулем и используемых для связи с соответствующим телом подпрограммы, оператором принятия или настраиваемым телом. Фориальный параиетр — это иден. тификатор, используемый для обозначения именованного понятия в теле. Фактический параметр — это конкретное понятие, сопоставленное соответствующему формальному параметру при вызове подпрограммы, вызове входа или конкретизации настройки.
Вид формального параметра определяет, поставляет пи фактический параметр значение дпя формального, или формальныи параметр — дпя фактического, или и то и другое. Сопоставление фактических '! Вместо термина «операция типа» в стандарте используется термин «операция, который не вызывает неоднозначности прн его использовании в контексте. — Прим.
рвр. П вложение 0 параметров формальным параметрам может быть определено с помощью именованного соло. ставлення, с помощью позиционного сопоставления или их комбинациеи. Переменная (чапаЫе), см. объект. Перечислимый тип (епогпега(юп (уре) — дискретный тил, значения которого представля. ются литералами перечисления, звданнымн явно в описании типа. Эти литералы перечисления являются либо идентификаторами, либо снмвольныии литералами. Плавающий тип (боабпй ролл! !уре), см, вещественный тнл.
Подкомпонента (зоЬсогпропеп!) — компонента либо компонента другой компоненты нли подкомпоненты. Подпрограмма (зоЬртойгагп) — программный модуль, которыи может быть либо процедурой, либо функцией. Процедура определяет последовательность действий и вызывается с по. мощью вызова процедуры. Функция определяет последовательность действии, а также возвращает значение, называемое результатом, и, таким образом, вызов функции является выражением. Подпрограмма задается в виде описания подпрограммы, которое определяет ее имщ формальные параметры и (для функции) ее результат, и тело подпрограммы, которое определяет последовательность действий.
В вызове подпрограммы задаются Фактические параметры, которые сопоставляются с формальными параметрами. Подпрограмма — это один из ви. дов программного модуля. Подтип (зоЫуре) — набор значений данного типа, определяемый ограничением типа. Каждое значение из множества значений подтипа принадлежит этому подтипу и удовлетворяет ограничению, определяющему подтип. Позиционное сопоставление (розйюпа! аззос(абоп) — способ задания связи элемента с позицией, использующий позицию размещения элемента для определения этого элемента.
Постфикс (ве(ес(ог), см, именуемая компонента. Прагмв (ргадгпа) — языковая конструкция для передачи информации компилятору. Предвыполнение (е)аЬогабоп) — процесс, применяемый к описанию, в результате которо. го описание выполняет свое назначение (например, создается объект). Этот процесс происхо. дит прн выполнении программы.
Префикс (ргейх) — начальная часть некоторых видов имени. Префикс — это либо вызов функции, либо имя. Присваиванне (азз(дпгпеп!) — базовая операция типа, заменяющая текущее значение пере. ивиной новым значением. Оператор присваивания определяет слева переменную, а справа— выражение, значение которого обязано стать новым значением переменнои. Программа (ргодгагп) — совокупность из нескольких компилируемых модулей, один иэ которых является подлрограимой, называемой главной программой. Выполнение программы со.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
