Н. Джехани - Язык Ада (1988) (1160771), страница 131
Текст из файла (страница 131)
стоит из выполнения главной программы, которая может вызвать подпрограммы, описанные в других компилируемых модулях программы. Программный модуль (ргодгагл ип)!) — либо настраиваемый модуль, либо пакет, либо подпрограмма, либо задачный иодуль. Производный тип (бепчеб (уре) — тнл, значения и операции которого есть копии значений и операций существующего типа. Существующий тип называется родительским типом проне водного типа. Простое нмя (в(гпр(е пап!е), см. описание, нмя.
Процедура (ргосебоге), см, подпрограмма. Прямая видимость (сйгес! ч(з(Ы)((у), см. вндниость. Раздел вариантов (чапан! Рап) — определяет альтернативные компоненты эапнсн в зависимости от значения днскрнмннанта записи. Каждое значение дискриминанта устанавливает одну из альтернатив раздела вариантов. Раадел описаний (бес)агабче рал) — последовательность описаний. Он может также содержать логически связанную информацию, например тела подпрограмм и слецнфикаторы представления.
Рандеву (гепбезчооз) — взаимодействие между двумя параллельно выполняемыми задача. ми, когда одна задача вызвала вход другой задачи, и в вызванной задаче для этого вызова выполняется соответствующий оператор принятия. Расширенное имя (ехрапбеб нагое) — способ обозначения понятия, которое описано пело. средственно внутри некоторой конструкции. Расширенное имя имеет форму именуемой конно.
ненты: префикс обозначает конструкцию (программный модуль ипи блок, цикл или оператор принятия), лостфнкс — это простое нмя понятия. Родительский тип (рагеп! (уре), см. производный тнп. Скалярный тип (зса(аг (уре) — упорядоченный набор значений с операциями отношения. К скалярному типу относится дискретный или вещественный тнп. Объект ипи значение скалярного типа не имеет компонент. Т ины и ол аления Совмещение (очег1оасйпд] — свойство понятия иметь несколько альтернативных назначе.
ний в данной точке программного текста. Например, совмещенным литералом перечисления может быть идентификатор, который появляется в определениях нескольких леречнслимых типов. Реальный смысл совмещенного идентификатора определяется по контексту. Совмещенными могут быть также подпрограммы, агрегаты, генераторы и строковые литералы. Составной тип (согпроз(1е 1уре) — тнп, значения которого имеют компоненты. Существуют две разновидности составного типа; нндексируемые типы и именуемые типы. Спецификатор использования (ове с!визе) — средство, обеспечивающее прямую видимость описаний, которые находятся в видимых разделах именованных пакетов.
Спецификатор контекста (соп1ех1 с!аозе), см. компилируемый модуль. Спецификатор представления (гергевеп1а((оп с)аозе) — средство указания компилятору отображения типа, объекта или задачи на архитектуру объектной машины, на которой выполняется программа. В некоторых случаях спецификаторы представления полностью определяют отображение, в других случаях они задают критерии выбора отображения. Спецификатор совместности (а!ф с!вове), см, компилируемый модуль. Ссылочный тип (ассезз (уре) — набор значений (ссылочные значения], которые могут быть либо пустым значением, либо значением, указывающим объект, созданный генератором.
Значение указанного объекта может быть прочитано или изменено через ссыпочное значение. Определение ссылачного типа задает тип объектов, на которые указывают значения ссыпочного типа. См, также набор. Субмодуль (зоЬоп!1), см. тело. Тело (Ьобу) — конструкция, определяющая процесс выполнения подпрограммы, пакета, ипи задачи.
След тела является синтаксической формои тела, которая указывает, что его выполнение определяется раздельно компилируемым субмодулем. Тип ((уре) — набор значении и набор операций тнла, применимых к этим значениям. Определение типа — это языковая конструкция, которой вводится тип. Конкретный тип — это ссылочный тнп, индексируемый тнп, личный тнп, именуемый тнп, скалярный тнп нпи задачный тнп. Удовлетворять (за1!в!у), см. ограничение, подтнп. Указывать (без(дпа1е), см.
ссылочный тнп, задача. Фактический параметр (ас(оа! рагагпе1ег], см. параметр. Фиксированный тип (йхеб ро]п( (уре], см. вещественный тнп. Формальный параметр (1оггпа! рагагпе(ег), см. параметр. Функцив (!опсдоп), см, подпрограмма. Целый тип дп(едет 1уре] — дискретный тнп, значения которого представляют все целые числа в заданном диапазоне. Экземпляр (!пз1апсе), см, настраиваемый модуль. [денная сводка синтаксиса не является част~ю определения стандарта языка программирования дда,! 2.1 3.2 23 идентификатор .:= буква ![подчеркивание[ буква ипи цифра! буква.или цифра .= буква ', цифра буква . = прописная буквв ! строчная буква 33.1 2.4 чисповои .литерал г= реса~ичный литерал [ ли~врал с основанием 242 332 символьныи литерал . =.
графический символ' ограничение диапазона с= галде диапмсн диапазон .= атрибут диапазона , 'простое выражение простое выражение 3.51 определение перечислимого типа с= [спецификация литерала.перечисления [, спецификация пи~врала перечиспенияд спецификацив литерала перечисления с = литерал перечисления литерал перечисления г = идентификатор [ символьныи литерал 31 354 3.5.6 определение вещественного типа с = ограни~ение плавающего типа ! ограничение .
фиксированного типа Приложение Е СВОДКА СИНТАКСИСА графический.символ с= осноанои графический символ [ строчная. буква ! дополнительный специальный символ основной графический символ:.= прописная буква ! цифра ! специальный символ [ символ пробела основной символ :.
= основной графический . символ ~ символ управления форматом 2.4.1 десятичный литерал ь = целое [ целое[ [порядок[ целое: = цифра ![подчеркивание[ цифра! поряйок - = Е [4[ цепов! Š— целое литерал с основанием := аснаваниее целое. с основанием [.целое с основанием[ л [порядок[ основание с = целое целое с -основанием ..= расширенная цифра [[подчеркивание[ расширенная цифра! расширенная цифра - = цифра, буква 2.6 мрокавый литерал:.= "[грвфическин символ!" 28 прагма с= ргвймв идентификатор [[сопоставление аргумента [, сопоставление аргумента[[[! сопоставление аргумента ..= [идентификатор аргумента = .
[ имя ! [идентификатор аргумента = >[ вырюкение основною описание -= описание объекта ! описание типа , описание подпрограммы [ списание задачи , описание.исключения [ описание переименование [ описание числа ,' списание подтипа ! описание пакета . описание настроики ! конкретизация настройки ! описание.субконстанты описание .объекта с = список .идентификаторов; [сопв!аМ[ укмание подгнив [;= выражение[ , список идентификатщюв: [солшвпд определение-ограниченного нндексируезкл о типа [:= выражение! описание числа:: = список идентификаторов: сола!аМ универсальное ствптмское выражение; список . идентификаторов: = идентификатор [, идентификатор! описание типа с= полное описание типа ! неполное описание типа , 'описамие личного-типа полное .описание типа::= !урв идентификатор !раздел дискриминвнтсв[ !з определение типа; определение типе с = ! определение перечислимсго-типа ; определение цепагс типа [ определение. вещественного типа , определение индексируемого типа [ определение.
именуемого типа ! определение ссылочного типа [ определение производного типа описание псдтипа ".= шййуре идентификатор 1з указание подтипа: указание .Мтдтипа: = сбозншмние типа [огремичение[ обозначение типа ..= имя гила [ имя под!ила ограничение с = ограничение диапазона [ ограничение плавающего типа ! ограничение фиксированного липа [ ограничение индекса ! ограничение дискриминанта 3.4 штределение производного типа ".= пше указание подгнив 3.5 определение целого типа сы ограничение диапазона Свс кв скктвксисв 506 3.57 ограничение плавающего типа::= определение точности плавающего типа (ограничение диапазона] определение точности плавающего типа .:= 619йв статическое простое выражение 3.5.9 ограни~ение фиксированнога типа .:= определение ~очности. фиксированнога типа (ограничение диапазоне] определение то~нос~и фиксированного типа: = Ьейа статическое простое выражение 38 определение индексируеиога типа:.= определение неограниченного индексируемога типа ) определение ограничеинога индексируеиого типа определение и»ограни~синего индексируемого типа::= а»ау (определение подгнив индекса 1, определение подтипа индекса)) о( указание подтипа компоненты определение.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
