Н. Джехани - Язык Ада (1988) (1160771), страница 132
Текст из файла (страница 132)
ограниченного индвксируемога типа: = а»ау ограни~ение индекса о! указание подтипа компоненте! определение подгнив индекса ".= обозначение типа галйе < > ограни юние индекса::= (дискретныи диапазон 1, дискретный диапазон)) дискретный диапазон;:= указание дискретного подтипа ) диапазон 3.7 определение именуемою гила геоогЬ список компонент еж) гасан) спишж компонент л= описание компоненты (описание компоненты) 1 )описание компоненты) раздел вариантов , 'пий; описание компоненты з = список идентификаторов; определение падтипа компоненты (: = выражение! определение подгнив компоненты с = указание подгнив 3.7.! раздел дискрииимантов л = (спецификация диокриииманта 1; спецификаци» дискрииинанта)) спецификация дискриминанта с = список идентификаторов обозначение типа выра!кение] 3.7.2 ограничение дискрнминантв с = (сопоставление дискриминанта ),сопоставление дискрииинанта)) сопоставление дискриминамта с = (простое имя-дискрииинвнгэ простое иил дискримннанге) = > ] выражение 3.7.3 раздел вариантов г = савв простое имя днскрииинанга )в вариант (вариант) эпб еаза; вариан~: = ЬЬ»п еыгюр 1) выбор) = > список компонент выбор с = простое выражение ) дискретный диапазон ) о!Ьегэ ) простое-иия компоненты 35 определение осы»очного типа::= асееве указание пад!ила ЗЯ.1 неполное описание типа !уре идентификатор [раздел дискрииинвнтов]; З.й раздел описаний:.= (основной элемент списания) (дополнитепьныи элемент описания) основной элемент описания .:= основное описание ) спецификатор представления ! спецификатор использования дополнительный элемент.
описания;: = тело , 'описание подпрограммы ) описание пакета 1 описание зада~и ) описание-нвстроики , специфика!ар использоваиия 1 конкретизация настройки тело с = соответствующее тело ) след тела соответствующее тело::= тело подпрограммы , 'тело паке~а 1 тело задачи 4.1 имя с = простое иия ) симвальныи литерал ) знак операции ) индексируемал компонента , 'отрезок ) именуемая «омпанента ) атрибут простое имя с= идентификатор префикс:;= иил ) вызов функции 4.1.1 индексируеиал компонента л = префикс (выражение 1, выраженией 4.1.2 отрезок -= префикс (дискретный-диапазон) а).з именуемая компонента;. = префикс.пастфикс постфикс с= простое имя ) символьный литерал ) знак операции 1 ай 4.1.4 атрибут †.= префикс' обозначение атрибута обозначение атрибута ".= простое имл [(универсальное.стати!еское выраженией 43 агрегат::= (сопоставление компонент 1, сопоставление-коипанентй сопоставление «омпонент .:= (выбор 1 ) выбор)= >] выражение 44 выражение .:= о~ношение 1»пЬ отношение) ) отношение (ал6 Ввп отношение) ) отношение (ог отношение) 1 отношение (ог э(ве отношение) ) отношение 1»ог отношение) отношение с = простое выражение [операци» отношения простое выражение! ) прасюе выражение [лой )п диапазон ) простое выражение [лой 1л обозначение типа простое выражение с= [унарная.аддитивная операция] слагаемое (бинарнал аддитивная операция слагаемое) слагаемое с = множитель (мупьтиппикативная операция множитель) множитель с = первичное (- первичное] ) вЬв первичное ) по! первичное первичное::= числовой литерал ) пий ) агре~а~ ) строковыи .литерал ) имв 1 юнератор ) вызов функции ) преобразование.
типа 1 квалифицированное выражение ,'(выражение) 45 логическая операция::= ап6 ) от 1 «ог операция отношения::= = у=,'<)< =1'>(> = бинарная.аддитивная операци» .:= 4 1 — ) 5 унарная аддигивнал операция::= мультипликативная операция . = ) ) ~ пюЬ,' гею операци» выл»в~о приоритета л = ..1 аЬ» ) пе! 45 преобразование .типа -. = обозначение типа (выражение) П ююжедие Е 4.7 «валифицированное выражение::= обозначение типа' (выражение) ( обозначение типа' агрегат 4.5 генератор и = пвм указатель подтипа ( ием квалифицированное выражение 5.1 последовательность операторов::= оператор (оператор) оператор::= (метка! простой оператор Цметка) составной оператор простои оператор х = пустой оператор ( оператор присваивания ( оператор вызова процедуры 1 оператор вьаада , 'оператор возврата ( оператор перехода ( оператор вызова.
входа 1 оператор задержки ( оператор прекращения , 'оператор возбуждения ) оператор кода составной оператор::= условный оператор ( оператор высюра ( оператор цикла , 'оператор блока ( оператор принятия ( оператор отбора метка:;= «простое имя межи» пуп~ой оператор х= пыд 5.2 оператор присваивания и = им» переменной:= выражение; 5.3 условныи оператор::= И условие !Ьап последовательность олератороа (в1эй условие !Ьвп последовательность операторов) [е! ае последовательность операторае) алй Н; условие х = логическое выражение 5.4 оператор выбора с = саяе выражение (э альтернатива оператора выбора (альтернатива оператора выбора) епб сале; альтернатива оператора .выбора: = мйвп выбор !) выбор! = > последовательность операторов 5.5 оператор цикла:;= [простое имя цикла: ) [скема.итерации) !оор последовательность операторов епб !оор [простое имя цикла); схема итерации и = мЬДв условие (ог спецификация параметра цикла спецификация параметра цикла .: = идентификатор 1п [гетегэе) дискретный диапазон 55 оператор блока о = [простое имя блока:) [бес!аю Раздел описаний) Ье91п последовательность операторов [ексарбол обработчик исключения (обработчик исключенияЦ епб [простое имя блока), 5.7 оператор еыкада х= вх11 [имя цикле) [млел условие); 58 оператор возврата х= ю(мгп [выражение); 5.9 оператор перехода с= йо(о имя метки; вл описание подпрограммы::= спецификация подпрограммы; спецификация подпрограммы с= ргосебмге идентификатор [раэдел-формальных параметров) ( !опсйол обоэначение [раздел формальньж параметрае) га!мт обоэначение типа обозначение с= идентификатор ( знак операции знак операции: = строковый литерал раздел-формальных.парамвтроа х = спецификацию параметра Ц специФикация параметрвц спецификация параметрах= список идентификаторов: вид обозначение типа 1:= выражение) еид о= Рп)( (п ом( ( омт 5.3 тело подпрограммы 4= спецификация подпрограммы 1э [раздел описаний) ЬаВ!п последовательность операторов ехсербоп обработчик исключении (обработчик исключенияЦ епб [обозначение); б4 оператор выэоеа процедуры х = имя процедуры [Раздел фактических.
параметров); вызов функции х= имя.фумкции [раздел фактическик параметрое) раздел фактическик параметров — .= (сопоставление лараметрае (, сопоставление параметроед сопоставление параметров::= [формальный параметр= >) фактический параметр формальный параметр::= п(юстое имя.параметра фактический параметр::= выражение имя перемемной обозначение типа (имя переменной) 7.1 описание пакета с = спецификация наката; спецификация пакета и = расавйв идентификатор ф (основной элемент описания! [ргйа(в (основной - элемент аписанияЦ впб [простое имя пакета) тела пакета х = Раснабе Ьобу простое имя пакета Ь [раэдеп описаний) (Ье91п последовательность операторов [вксербоп обработчик-исключения (обработчик исключения)д епб [простое имя пакета); 7.4 описание личного типа::= туре идентификатор [раздел дискриминпнтов) ф [дюцеб) рдуа!е; описание субконстанты: = список идентификаторов:сопыап! обозначение типа, 8.4 спецификатор использования х= мэе имя пакета (, имя пвкегад Св ка синтаксиса 9 7.3 95 102 11 2 971 95 описание переименования: = идентификатор: обозначение.
типа ге»выев имя объекте; идентификатор: ехсербои тепаюез имя исключения, рвсяа9е иден~ифика~ор твпвптеэ имя пакета; спецификация подпрограммы телешев им» подпрограммы или входе) 9.1 описание задачи ..= спецификация задачи; спецификацн» задачи -.= тавх ()уре! идентификатор ()з (описание входа) )спецификатор представления) елб (простое ин» задачи))) тело задачи::= таза бобу простое имя.задачи 1з (раздал списаний) бени последовательность операторов (вхсербол обработчик исключени» (обработчик искпюченияд епб (простое имя злдачнк описание входа:.= виту идентификатор ((дискретный диапазона (раздел формальных параметров); оператор вызова входа:.= им» входа (раздел фактических.параметров); оператор принятия с = ассар) простое имя входа ((индекс входа)! (раздал формальных параметров) бо последовательность.операторов впб (простое им» входа))) ИНДВКС ВХОДВ См ВЫРагКЕНИЕ 9.б оператор задержки: = бе1ау простое. выра1квние; 9.7 оператор отбора ..= отбор с ожиданием условный вызов.входа ) временной выюв входа отбор с ожиданием:.= ве)ест альтернатива о~бора )ти в»~терна!ива отбора) (а)ее последовательность операторов] епб вв1ест; альтернатива отбора >м (шлеп условие = >) альтернатива о~бора с ожиданием альтернатива о~бора с ожиданием:.= аеьтернатива принятия апыернатива задержки ( альтернатива .завершемия апыернатива принятия .: = оператор принятия (последовательность операторов) а»ЬтЕРНатнза ЗаДЕР1ККИ См оператор задержки (последовательность аоераторов) альтернатива завершения: = !впп1»е)е; 9.7.2 условный.вызов входа;:= зе)ес! оператор .вызова входа (последовательность операторое) е)ве последовательность операторов епб ее)есд временной вызов входа > = эв)вс) оператор вызова входа (последовательность операторов) ог алыернатива ьтдержки епб вв)есд 910 оператор.прекращения .= «Ьоп имя.задачи 1, имя задачи), 101 комли»»ция - = )компилируемыи модуль) компилируемыи.модуль спецификатор контекста бибписгечныи модуль спецификатор контекста вторичный модуль библиотечныи модул~ ..= описание подпрограммы описание паке~а описание настройки конкретизация настройки ) тело подпрограммы вторичный модуль " = тело библиотечного модуля ) субмодуль тело библиотечного модуля:м тело подпрограммы .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
