Н. Джехани - Язык Ада (1988) (1160771), страница 133
Текст из файла (страница 133)
'тело. паке а 10.1 1 спвцификатор контекста )спецификатор совмес ности )спвцификатср использования)1 спецнфнкатар совмес~ности -. = шдй прес~ос имя модуля 1. простое имя.модул»1, след тела спецификация подпрограммы )з зерага)е, ласкере бобу простое имя пакете )з вервгате, )авх бобу простое имя з дачи гв зерага)е, субмодуль см зерага)е (имя. родительского модуля) соответствующее тало 11 1 описание исключени» . = список идентификаторов в»сер)1оп, обработчик исключения шйеп выбор исключения 1( выбор исключения)= > последовательность операторов выбор исключения = имя исключения ! офегз 11.3 оператор возбуждения ..= га)эв (нмя н ключения), !2.1 описание нас~ройки := спецификация настройки, спецификация. настройки: = раздел формальных параметров настроикн спецификация подпрограммы раздел.
формальных параметров настройки спецификация пакета раздел формальньа параметров настройки г = вепелс (списание параметра .мастройки) списание параметра насгроикн .;= список иден~ифика~оров (1п (олб) обозна~ение типа ( = выражение); тура идентификатор 1з определение настраиваемого типа ш1Ф спецификация подпрограммы (и имяр шдй спецификация подпрограммы ()з < >), определение настраиваемого гила -.= (<>) ( ганне <> ) б19ие <>,' беда .> определение индексируемого типа определение ссылочного типа П иложвнме Е 12.3 конкретизация настройки с= расйайе идентификатор !з пвм имя настраиваемого пакете [раздел фактических параметров настраики[; ртосайвы идентификатор !в пем имя нвстрвнввемои процедуры [раздел фактических параметров.настройки[; !нпс!Ьп обозна~ение [з пвм имя настраиваемой .функции [раздел фактических параметров настройки[; раздел фактических параметров настройки с = (сопоставление параметров настройки [, сопоставление параметров настройки[[ сопоставление параметров настройки с= [формальный параметр иастроики= >[ фактический параметр настройки формальный параметр настройки с = простое .имя параметра [ знак .операции фактический параметр настройки:.= выражение имя переменной [ имя подпрограммы имя входа [ обозначение типа 13Л специфнкатор представления с = спецификагор представления типа спецификатор адреса спецификатор представления гиле: = спецификатор длины спецификатар.
предо~явления перечислвнип спецификатор представления записи 132 спвцификатор-длины .:= 1ог атрибут пзе простое выражение; 13.3 специфнквтор представлени» перечисления !ог просимое имя гила нзе агрегат, 13.4 спецификзтор-представления записи::= тот простое пня жила нве гасан! [спецификатор выравнивания! 1спецификатор .компоненты[ впб гесогф спецификатор выравнивания::= а! пюй сгагичвскоа простое выражение; спецификатор компоненты с = имя компонвн ы в! статическое простое выражение галде статический диапазон, 13.5 спецификагор адреса тот простое.
имя нзе а! простое выражение; 13.8 оператор кода: = обозначение.типа ! а~ре~ат э лиси. ПЕРЕКРЕСТНЫЕ ССЫЛКИ СИНТАКСИСА" В приведенном ниже списке для каждого синтаксического понятия указан номер раздела, где оно определяется. Например: 4.5 аддитианая операция Кроме этого, для каждого понятия перечисляются имена тех понятий, в описание которых оно входит. Например, синтаксическое понятие вддитивная операция входит в определение понятия простое выражение: 4.5 4.4 аддитивная операция простое выражение Многоточие (...) используется, если синтаксическое понятие правилами синтаксиса явно не определяется. Например: строчная буква Все случаи использования круглых скобок объединены в одну группу, при этом применяются символы «()». Опуб(ены префиксы, которые используются совместно с некоторыми терминами.
В тексте стандарта они выделены курсивом. 4.3 !3.9 бибпиотвчпый модуиь «омпипируемьф модуль О»иври»в алли!ив»ая операция простое Вырэжепи» буква буква ипи цифра идеитйфикетор расмиреиив» цмфрв буква ипи цифре идеитифииатор 10.1 10.1 4.5 4.4 г.з г.з 23 2.Я.2 2.3 2.3 3.7.3 3.7.3 ° вриаит Рвтдеп вариаитов '! Ссылки, саответствуюиие зарезервированным словам и ограничителям, приведены в конце данного приложения. — Прим, ред. ° грв"ат оператор кода спацификатор представ»э»и» пере. чиспения пэрвичиоа кввпифицироваиное вырвжеиие ° пьтериатиаа ваеармеиив впьтарпативв отбора а о!кидаииам вытер»эти»а ввдержк» альтер»эти»а отбора с ажидаиием времэииой витав входа ° пьтеркатмва ойеретора выбора оператор выбора впьте!пати»э етбвра отбор с ажидвиием ° пьтериатива отбора с ожидвпивв апьтеривтивв агбар» ° в»!Ив\!и\» альтернатива отбора с ожиданием ° трибут диапазон имя спвцификатор дпииы 13.3 4.4 4Л 9.7.1.
9.7.1 9.7.1 9.7.1 9.7.3 5.4 5.4 9,7Л 9.7Л 9.7.1 9.7.! 9ЛЛ 9.7.! Я.14 3.5 ЯЛ 13.2 ° мд спецификация параметров ° реве»пой вито» »хада опеРатор отбора ° торичиый подув» компйяируемый моду»В ° ыбор апьтвриатива оператора выбора варивит сопостввпеиие компонент ° ыбор искпмчепи» обработчик искпю мнив ° ывов функции йервичпоа префикс ° враже»ив индекс входа иидэксйрувмвя компоиепта квапифицироввяиав выражение оботиачаиие атрибута оператор во!врата оператор вьоара оператор присваивания описание компаиепты описаиие объекта описаиие параметре иастройки описание «испв пврвичиов преобрвтаввиие типа сопоставление аргумвите сопоставяеииа дискримииаита сапостввпеиие «омпоиеит спецификаци» дискримииаита спецификация параметра условие фактический пвраматр фактический параметр и»стройки бл ал ОЛ.Э 97 1СЛ юл 37.3 5.4 з.т.з 4.3 !!.г 11.2 5.4 4.4 ЯЛ 4.4 9.5 4.1.1 4.7 444 54 5.4 О.г з.т 3.2 12.1 з.г 4.4 4.5 2З 3.7.г 4.3 3.7Л ОЛ 5.3 5.4 таз П к сткые ссылкм синтвксксв 610 4.6 4.4 гл 2.6 2.6 фд !03 !О.! 12.3 10.! 33 зл 2.4.1 гл З.В З.В 3.5 4.4 !Зм 3.8 З.т.З З.В 9.5 43.2 6.5 лмтврал иервчкслвнна Звд спецификация литерала перкинс»виня 35.1 литарэл с основаниям 2.4.2 числовой литерал 2.4 логмчэскак операция 4.5 6.1 6.1 4.4 4.4 4.5 4.4 2.1 3.9 3.9 3.63 3.3.1 63 4.1 8.1 4.1.3 12 3 З.В 5! 5.1 58 5,1 11.3 5.1 5.8 5.1 5.4 5.! 9.5 9.7.3 5.1 9.7.2 8.4 6.7 5.1 4.7 43 4.4 гвнврвтор пврвичнсв грвфичвсамй символ символьный ли«врал строковый литерал дасвтнчиый янтарев числовой литврал дмапавон дискретный диапвтон Ограни«амин дивпавона отноненив спвцификатор компоненты дискретный дмвпавон высор ограничение индекса описание вкодв отрезок спецификация параметра цикла дополнительный спец символ графичэскйй символ допоиммтвльный влвмант описания раздел описаний знак операция имк о5овначенив постфикс формальный параметр настройки пдвнтнфикатср конкретиввция настройки литерал перечисления нвпопноа описание типа обовнвчэйив описание вкодв описание личного типа аписвнив парвматра настройки описание пвраимвнования описания подтипа полное описание типа првгма простое имя сопостввпвнив аргумэнтв спецификация пакета спецификация параметра цикла спецификация подпрограммы спецификация вада«и список идентификаторов нмамуелап компонента им» нмн вьюор исключания вызов функции конкрвтиаация настройки ООО»начэниа типа опврвтор вотбуждания опвратср вызова ввода оператор вызова процедуры опэратор выксда оператор пврекодв Оператор првкрацания оператор присваивания описание пврвмвтрв настройки списания пвраименоввния ПЕРВИЧИОВ префикс сапостввпвнив аргумента спэцифи«втор испО»ьвоаания соецификвтор «смпонвиты сусмодуль фвктичвский параметр фактический параметр настройки нндвкс ввода ойвратор принятия нндекснруама» «омионвнтв им» «эалифмцирэванмсв выражвниа гвнератар первичное 2.3 12.3 3.5.1 3.8.1 6.1 9.6 7.4 !2.1 8.5 3.3.2 3.3.1 2.8 4.1 2.8 71 5.5 8.1 9.1 3.2 43.3 41 43 11.2 6.4 12.3 3.3.2 1!.3 9.5 6.4 5.7 5.9 910 5.2 !2.1 6.6 4.4 4.1 2.8 8.4 13.4 10.2 8.4 12.3 9.5 9.5 433 4.1 компнлнрувмый модуль «омпипяцмя «смолл»цня конкратнлацна настройки бислиствчиый модуль дополнитвльнйй элемент аписами» основное описайие матка оператор множитель спвгаэмоа мультнпликвтианал апарацмя спагаемов неполное Описания тяпа описание гила ойскиачвнка «онкретиаация нас~ройки спецификация подпрограммы тело яадпрогрвммы осовначвнйв атрибута атри5ут облава«вика тика квалифицированное выражения оператор «ода описание параметра мастройки описания первимвнсвания оиисвнив сусконствнты опрвдвлвйиа подгнив имдвкса От«олвина првсбратование типа спецификация дискрнминанта спвцификация пврвмэтрв спацификаци» подпрограммы укаламиа подтипа фактический параметр фактичаский параметр настройки обработчик искжоченнл оператор блока тало задачи тало пакета тало подпрограммы ограничанйа указание подгнил огранмчаннэ дмвпввона ограничение ограиичвние плаввюцвго типа ограничанив фиксированного типа опрадаланив цвлого типа ограниченна днокрмминанта ограни мнив ограннчвнма индекса ограничение определение ограни«вино«о индвксирувмого типа опвратор послвдоватвльность операторов оператор Ьлока сов~ванов оператор оператор вОзбуждении простой оператор опар»тор аовврата простой оператор оператор выбора составной оператор опарвтс9 вьюввй а«ода временной вызов влада простой оператор УСПОВНЫй ВЫВОВ ВХОДВ опэратор вывова процедуры простой Опарвтар оларатср вылова простой оператор вз 12.3 в.! 83 4.1.4 4.1.4 3.3.2 4.7 13.8 12.1 8.5 7.4 3.6 4.4 4.6 3.7.1 6.! 8.1 3.3.2 6.4 12,3 11.2 5,5 9.1 73 В.З 3.32 3.3.2 3.6 3.3.2 3.5.7 3.5.9 3.5А 3.7.2 3.3.2 3.6 3.3.2 гу тиыв ееыики сиитвкеисв $11 3.7 зл 3.4 3.3.1 3.6 12.1 3.3.1 3.3.1 3.3.1 3.5.7 3.5.7 9.6 9.7,1 5.1 !36 5.1 9.7 5.1 5.9 5.1 9.10 5.1 9.5 9.7.1 5.1 5.2 5.1 5.5 5.1 4.5 4.5 4,4 9.5 9.1 9.1 Зв 3.1 11.1 3.1 ЗТ 3.7 7.4 3.3.1 3.5.9 3.5.9 3.5.4 З.зл 2.4.2 2.4.2 3.1 39 2.1 21 2.1 2.1 3.9 3.9 7! В.ТЛ ВЛ 4.4 4.4 4.1.2 4.1 4.4 4.4 12.1 12.1 10.1 3.9 3.1 32 3.1 7.! 10.1 3.9 3.1 12.1 2.3 2.4.1 2.4.2 3.3.1 3.3.1 2.4.1 2.4.1 2.4.2 5.1 9.7.1 5.4 буЛ 9.7.3 11.2 5.6 9.5 6.5 9.7.1 9.1 7.1 6.3 9.7.2 5.3 4.1.3 4.1.3 2.6 46 4.4 4.1.4 «Л.Э 4,1.1 4.1.2 12.1 6.5 зл 6.1 !0.1 3,9 3.1 3.3.2 3.1 7.4 3,1 3.3.1 3.1 3.2 3.1 3.5.6 3.3.1 3.5.1 3.3.1 3.6 12.1 З.ЗЛ 12.1 12.1 2.3 71 4.4 3.7.3 3.5 9.В 3.6 3.6 3.6 3.2 3.6 3.5.1 3.'3.'1 36 3.5.7 3.5.9 4.4 13.5 3.6 оператор ладержки альтернатива задержки простоя оператор оператор «ода простой оператор оператор отбора составной оператор оператор пера«вда простой оператор оператор прекра«!аппп простой оператор онкратор принятия альтернатива принятия составной оператор оператор прпованванма простой спаратор оперетср цикла осе~веной оператор сперацн» ямспего врмвржтета ' операция отномвнмп отис»вине описание входа спецификация аадвчи описал«О эедач» дополнительный эленент опмсания основное описание описание мсийоченил основное описание списание «омйнемты список компонент описан«а лйчноггг тина описание типа описание формального параметра настрсйки оп«саине настрвЯкн биолиотечныя модуль дополнительньа элемент опнсанн» осноансв описание описание объекта основное описание влипание пакета вилис!Очный модуль дополнительный элемент описания основнса опнсайие опмеанпе вара»Огра настрвЯки Ратдел формыюньм параметров наотрояки описание иареиимюааинп основное описание описание подйреграммы биб»Но!Очный модуль дополнительный элемент описания ос»овнов описание описание подтива основное описание овнов«ив субконстанты осноенсв описание списание гине основное описание списание числа основное описание определенна ее«!Остави»ого типе опреда»ение типа переделение нмейуевюго типа ОПРВДЕПВНИЕ ТИПП опредаюнне нндексируеиого тина определение настраиваемого типа определение типа Определение настраивеевюго типе описанйе параметра настройки оиредалемпе напгранмченнсго мидексиру.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
