Н. Джехани - Язык Ада (1988) (1160771), страница 128
Текст из файла (страница 128)
ром, для определения константы ЗУЗТЕМ МАМЕ. Прагма допустима только в том случае, если указанный в ней идентификатор соответ. ствует одному из литералов перечисления типа МАМЕ, описанного в пакете ЗУЗТЕМ (см. 13.7). Приложение С ПРЕДОПРЕДЕЛЕННОЕ ОКРУЖЕНИЕ ЯЗЫКА Ниже дана спецификация пакета 8ТАМОАВО, содерткащая все предопределенные в языке идентификаторы. Соответствующее тело пакета определено реализацией и не показано. Предопределенные для описанных в пакете 8ТАМОАВО типов операции даны в виде комментариев, так как они описаны неявно. Для псевдоимен анонимных типов (универсальный вещественный, например), а также для неопределенной информации (например, определен Реализацией и любой фиксированный гнп) используется курсив.
расЬФВв ВТАМОАй0 и курв ВООФЕАМ и (ГАЬВЕ, ТЯПЕ); — Првдолрвдвлвнными операциями отношения — для этого типа являются следующие: — Фапсесп "=* Я.ЕГТ, 816НТ: ВООьЕАМ) тввип ВООФЕАМ! — Ьпсеоп "/ьл ПЕГГ, 816НТ: ВООьЕАМ) шгшт ВООьЕАМ! — аикаоп "(" П.ЕГТ, 816НТ: ВООФЕАМ) гвФигп ВООьЕАМ; — Виквоп "(ьи [ьЕГГ, 816НТ: ВООФЕАМ) гввип ВООФЕАМ! — Ьпсеоп )" Я.ЕГТ, 816НТ: ВООЬЕАМ) гвтпгп 8001.ЕАМ; ЬПСВОП ")ьп (ФЕРТ, й)ОНТ: ВООФЕАМ) ГВВИП 8001.ЕАМ; — Првдопрвдвлвнными логическими операциями — для этого типа являются следующие: — Ьпсаоп "вла (ьЕГГ, й!ОНТ: ВОО!.ЕАМ) кипи ВООФЕАМ; — Ьпсаоп "ог (ЬЕГТ, Н!ОНТ: ВООЬЕАМ! Фишки ВОО!.ЕАМ; — Фвпсеол "кот" [ФЕРТ, Н)ОНТ: 8001.ЕАМ) гвмип В001.ЕАМ; — Вякали "пот" (Я16НТ: ВООьЕАМ) гвшпт ВООЬЕАМ; — Првдолрвдвпвн универсальный тнп универсальный цвлый. фуре ФМТЕОЕй (в опРеделен рвализацнэй; — Для этого типа првдолрвдвлвны слвдующив опврации: Ьпсаоп """ П.ЕГТ: 1МТЕОЕЯ; Я)6НТ: )МТЕОЕВ) гвмип 1МТЕОЕН; Реализация может обеспечить другие предопределенные целые типы.
Рекомендуется, чтобы имвнв этих даполнитвльных типов оканчивались на !МТЕОЕВ, например, ВНОЙТ )МТЕОЕН илн вглсФЬП Ьпстши "/= впкаоп "(" апквоп "(= Взпсеоп ")" Ьпсеоп ")ьл Фипсеоп "ь' 1ипсаоп "-" Ьпк!оп "авв" — Фипсвоп "+" — Ьзпсвсп "-" — !оплело — Ьпсесп "/" — Ьпааоп "гвлз" Ьпсасп язов П.ЕГТ, Я)ОНТ; )МТЕОЕВ) кзот В001.ЕАМ; (ьЕГТ, 816НТ: )МТЕОЕН) гвшгп ВООЕЕАМ; (ФЕРТ, В!ОНТ: )МТЕОЕЯ) гвтипг ВООЬЕАМ1 П.ЕГТ, й)ОНТ: ПЧТЕОЕВ) тввип 8001.ЕАМ; (ьЕГТ, й)ОНТ г )МТЕОЕВ) звени 8001.ЕАМ; П.ЕГТ, Я!ОНТ: 1МТЕОЕВ) Фввип ВООЬЕАМ! (816НТ: 1МТЕОЕН) тамии !МТЕОЕВ: (816НТ: 1МТЕОЕВ1 копи )МТЕОЕВ; (й)6НТ: 1МТЕОЕй) кшгп 1МТЕОЕЯ; (ЬЕГТ, Й!ОнТ: 1МтеОЕВ) гвоип ЛЧТЕОЕВ; Р.ЕГТ, Н)6НТ: 1МТЕОЕН) гвтипт 1МТЕОЕЯ; П.ЕГТ, Я16НТ: 1МТЕОЕГП квин 1МТЕОЕВ; (ФЕРТ, 816НТ: 1МТЕОЕВ) лпипз ПЧТЕОЕН: П.ЕГТ, Я16НТ; )МТЕОЕГП твкгп 1МТЕОЕВ; П.ЕГТ, Н!ОНТ: )МТЕОЕЯ) гвтигп ПЧТЕ6ЕЯ; П иибжаииа С вЂ” — универсальный тип универсальныи..вещественный предопределен.
туре ЕЕОАТ )в определен реализацией/ — — для этого типа предопределены следующие операции: : Й.ОАТ) пинпг ВООЕЕАМ: : ЕЕОАТ) генвп ВООЕЕАМ; : ЕЕОАП гезнгп ВООЕЕАМ; : Й.ОАТ) геена ВООСЕАМ; : ЕЕОАТ) гагнгп ВООЕЕАМ! : ЕЕОАП пнмгп ВООЕЕАМ: — — (н побои — — 1нпсбоп — — Енпсбоп — — агпснеп — — 1нпсбоп — — (нпсвоп (ЬЕЕТ, "/=" (СЕЕТ, "(" (СЕЕТ. — И.ЕЕТ, "х" ()-ЕЕТ. "х=" И.ЕЕТ, й(6НТ й!ОНТ Я16 НТ й)ОНТ й!ОНТ Я(ОНТ вЂ” — Енпсбоп "+" (Я16НТ: ЕСОАТ) гения Й.ОАТ; — — йгпот!оп "-" (Я)ОНТ: Й.ОАТ1 гатгпа Е1.0АТ; — — гнпсаоп "абз" (Я16НТ; Й.ОАТ) гааггп Е!.ОАТ; — — Ъпсбоп "+" (СЕЕТ.
Я16НТ: Е1.0АТ) гвзнгп Й.ОАТ; — — йзпсбон "-" Й.ЕЕТ, й)ОНТ: Й.ОАТ! гатагп ЕЕОАТ; — — (нпсбоп "'" И.ЕЕТ, й!ОНТ: ЕЕОАТ) ге!наг Й.ОАТ; — — 1нпсвоп "/" (СЕЕТ, Я!ОНТ: Й.ОАТ) гвгнгп ЕЕОАТ: — — Енпсбоп """ (ьЕЕТ: ЕЕОАТ; й!6НТ: ЕМТЕ6ЕЯ) пйнгп Й.ОАТ; Реализация может обеспечить дополнительные предопределенные плавающие типы. Рекомен. дуется, чтобы имена таких дополнительных типов оканчивались на ЕСОАТ, например ЗНОВТ ЕСОАТ или СОМО ЕЕОАТ.
Спецификация каждой операции для типа универсальный вещественный или для любого дополнительного предопределенного плавающего типа может быть получена заменой идентификатора ЕСОАТ на имя этого типа в спецификации соответствующей операции для типа ЕСОАТ. Кроме того, для универсальных типов предопределены следующие операции: (нпсбоп "" ((.ЕЕТ: универсальный-целый; (Й)ОНТ: универсальныи.
вещественный) ге(нпг универсальный вещественнын; (нпсбоп "" (1.ЕЕТ: универсальный вещественнын; Й16НТ: универсзльныи целый) гетин\ уннеерсвльнын- вещественный; (нпсбоп / (СЕЕТ: универсальный вещественныи; Й)ОНТ: универсальный-целый) га(нп! универсальный вещественный; Тип универсальный фиксированнын предопределен. Единственными операциями, описанными для этого типа, являются: Енпсбоп "* (1.ЕЕТ: любой-фиксированный.. тил; Й)ОНТ: любой-фиксированный тил) ге!ни! унивассальный фиксированный; Енпсбоп "/ (1.ЕЕТ: любой фиксированный тип; Я16НТ: любой фиксированный тил) гении унйвврсзльнын фиксированный, Следующие символы образуют стандартный набор символов АВСИ.
Символьные литералы, соответствующие управляющим символам, идентификаторами не являются. В этом определении они выделены курсивом. туре СНАЯАСТЕЯ и ( пи/, зой, зст, Ьз, ЬГ, И, Ещ г/сг, Лей сел. елг, звЬ ест, вот, еиф аещ Ье/, гг, йг, сг, зо. и, г/сЭ, г/сз, лащ зул, егб езс. Яя дз, пк из, Т, '"', 'и', '8'. ТЕ', 'В', '(', Т, '*', '+',",, '-'. '.', Т. 'О'. '1', '2', 'Э', '4'. 'Б', '8', '7'.
'8'. '8', '<', ' ', '>', '7', ЕОМО 1МТЕОЕЯ. Спецификация каждои операции для типа универсальный целый или для любо. — — го дополнительного предопределенного целого типа может быть получена заменои идентифика— — тора )МТЕОЕЯ на имя этого типа в спецификации соответствующей операции для типа 1МТЕОЕЯ, — — исключая правый операнд операции возведения в степень.
П ОИ ВдвИИОВ Ок жамма яВЫкв Щ', 'А'. 'В', 'С', 'О', 'Е', 'Р, '6', 'н', т, ТП 'к', 'О, 'м', 'м', 'о', 'Р', '0', 'Я', '8', 'Т', 'О', 'Ч', ЪУ', 'Х, Ч, '2', '(С Т, 1', 'в'. 'Ь', 'с', '6', 'е'. Т, 'В', Ъ,' Т. 1.' Ъ,' т, 'т', 'л'. 'о', 'О', 'г', 'с', 'к', 'у', я', '(', (', ')', ' ', аа) ); (т СНАЯАСТЕН Оса — 1 2 8 АВ С(1 симсолоя набора (О, 1,2,3,4, 5, ..., 125, 125, 127); — — Прсдолрсделснныс операции для типа СНАЯАСТЕЙ то Гкс самые, что и для любого пяречислимого типа. рас) Ее АВСИ 1 ° — — Управляющие символы: : сопятапт СНАЙАСТЕй : сопэтапт СНАЙАСТЕЯ ; сопятаи\ СНАНАСТЕЯ : сола!ага СНАЯАСТЕЯ : сопя!от СНАНАСТЕЯ : сонэ!сит СНАЯАСТЕЯ : Саля!сит СНАЯАСТЕН : сопстапт СНАЯАСТЕЯ : сопетапт СНАЯАСТЕЯ : сопэтапт СНАЙАСТЕЯ : Селе!Ел\ СНАЯАСТЕН : минтонс СНАЙАСТЕЙ : сопстапт СНАНАСТЕН ; сопя!сит СНАЙАСТЕЯ : сенегал\ СНАНАСТЕЯ : СОистапт СНАЯАСТЕЯ : сопэтаги СНАНАСТЕЙ ДРУГИО СИМВОлы: ЕХС(АМ ВНАНР РЕЯСЕМТ СО).ОМ ООЕНЧ ВЙАСКЕТ й ВЙАСКЕТ О М О Е й Ь! М Е ВЙАСЕ й ВЙАСЕ := '511 = 'Ь"' := Т: — Строчные буквьк ЕС А: сопстапт СНАЯАСТЕН:= 'а'; ЕС 2: сопстапт СНАЯАСТЕН .= 'т'; епа А5СИ; — Предопределенные лодтилы; янЬтгре МАТОЯАЬ 1 ° 1МТЕОЕЙ тиос О ..
(МТЕОЕН'~АВТ! ЭОЬ!УРЭ Р051Т(ЧЕ М (МТЕ6ЕЙ галса 1 .. 1МТЕОЕЙ'ЮВТ! — -Предопредслснныи строкосои тнп: туре ВТЯ(МО )с апэу!РОВ(Т(ЧЕ гаиве <>) о( СНАЙАСТЕН; МО1. ВТХ ЕОТ АСК 88 ЕР РР 50 01.Е ОС2 ОС4 ВЧМ САМ 808 РВ ЯВ ОЕЬ сонэ!вы соиэтапт сопэтапт СОПЭтспт сопя!пят соле! апт СОПВ1СП1 сплетен! сапетэп$ СОПЭтппт СНАЯАСТЕН СНАЯАСТЕН СНАЯАСТЕЙ СНАЯАСТЕЯ СНАЙАСТЕЯ СНАНАСТЕй СНАЯАСТЕЯ СНАЯАСТЕЯ СНАЯАСТЕй СНАЯАСТЕЯ ли(; — яг»; ЭОГ; := ас»; := Ьэ; := и; л; ЭО; := а!е; := ас2; := аса; Ягп; := СВЛ; := ВОЬ; := ВХ ил := ае); := 'П ;= 1': := Т; := Т; ВОН Е1Х ЕМО ВЕЬ НТ ЧТ СЯ 81 ОС1 ОСЭ МАК ЕТВ ЕМ ЕВС 68 05 000ТАТРЭМ ООЫ Яй АМРЕЯВАМО ВЕМ(СО(.ОМ АТ 5!ОМ ВАСК 8(АВН С(ЙСОМРЬЕХ ОЯАЧЕ ВАй ТЯ.ОЕ : сопянгт СнАЯ*Стей ; сонэ!Эти снАНАстЕН : сопя!агн СНАЯАСТЕЯ ' сопсеса\ снАНАстен ; сопя!сит СНАЯАСТЕН : еопсыги СНАНАСТЕН : соистат СНАЯАСТЕЯ ; сонэ!оси снАНАСтеЯ ' сопя!ел! СНАЯАСТЕН ; сопэтапт СНАЯАСТЕН : сопя!ага СНАЯАСТЕЙ : еоис1ат СНАНАСТЕЯ ' сспстапт СНАЯАСТЕй : соптат СНАЯАСТЕЯ : сопя!ел! СНАЯАСТЕН : Солтан! СНАНАСТЕЯ сопя!эти СНАЯАСТЕЯ сопаво СНАЯАСТЕЯ сапятет СНАЯАСТЕЯ сенс!а!и СНАЯАСТЕЙ сепстапт СНАЙАСТЕН сонетам СНАЯАСТЕЯ сопыагн СНАЯАСТЕЙ аопиапт СНАНАСТЕЯ соис1агн СНАЯАСТЕЯ соистапт СНАНАСТЕН := яоЬ; елл — ело; := Ье); := ы; := сС СГ; := сд := асг; := асЭ; := ле(С ЭГЬ; := еип := эсс; Ес! ;= ия: )Т уложение С ргарпа РАСК!Зтй!Мб); Следующие операции для этого типа предоповделены: — уипеаоп "=" П.ЕРТ, Я16НТ; ЗТЙ)М6! гаппп ВООЬЕАМ! — аиютюп "/=" !ьерт.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
