Н. Джехани - Язык Ада (1988) (1160771), страница 147
Текст из файла (страница 147)
ставным типом 4.5.1, 4.5.2 формального типа настройки, «впяющегося индек. снрувмым 12.3.4 Тно результата н разрвмэинв сев»вцепил 66 тнп с йнс«рммяяантам» З.щ 3.3.1, 3.3.2, 3.7, 3.7 1, 7.я, 7.4.1 [см. также: именуемый тип, личный тип) в кэмстве компоненты индексируемого типа, который «вляетс» операндам првобрвзования 4.В в качестве фактического для формального пичного типа 12.3.2 Точность числовых операций над универсальным типом я.10 числовых операций типа 4.5 7 Точность[числовая) (СМЯ ОЕ1.ТА, 01ОПЕ! Удовлетворять [ограничению) 3.3; О [см. также: Ограничение, подтип) ограничение диапазона 3.5 ограничение дискриминантв 3.7.2 ограничение индекса З.В.! Указание [смя указание падтипв] Указенне подти»а 3.3.2 [см. также: прада»полна»ив...) в ге *раторв 4.6 включающее Ограниченна плавающего типа 3.5.7 включающее ограничение фиксированного типе 3.5.9 в описании ком»сне»азы 3 7 в о»нов»ни обьектв 3.2, 3.2.1 в определении индвксируемого типа 3.6 в определении неограниченного индекснруемога типа З.В в определении ограниченного индвксируемого типа з.в 'в Определении производного типе 3.4 в определении ссылочного типа 3.6 в разделе формальных параметров настройки 12.! для подгнив формального типа настройки 12.12 как дискретный днвпыон З.В как указание подтипа компоненты 3.7 Указанная задача значением задвчного типа 9.1; 9.2, 9.я, 9.5 У«еэениый йод!и» [ссылок»Ого хилз) З.В Указанный тнп[ссыпочного типа) З.В Указатель [смя ссылочный тип) Указывать 3.6, 631 О [см.
также: генератор, задача, задачньм объект, указанная..., уквзенный..., Осы»очный тип, объект) Унернеа аддитнвнап операции 4. ° , 4.5, С; 4.5.4 [см. также: арифметическая операция, предопрецепвннав операция, совмещение операций) в качестве Операции типе дискретного типа 3.5.5 в простом выражении 4.4 совме!ценная 6.7 унарнаа операцнл ° .5; 3.5.5, Э.В.В, 3,5.10, 3.6.2, 4.5.4, 4.5.6, С [см.
также! операция наивыс»его приоритета, унврнвя аддитивная опарвция) Ун»риал операция МОТ [смя операция ненвысмего приоритета! в кечвстве операции над бупевским типом 3.5.5 в качества операции над индексируемым типом 3.5,2 и множителе 4.4 Унмеерсальный тнп ° .1О [см. также: неявное преобразование, преобразование) вырвжени» [см.. выражения, числовой литерал) Список поияуий языка а именоввнного числ» 3.2.2, 3.2 рвхультвт атрибут» [см. »трибуг) УПРВ»Лелле ф»йяатл 1 ° .23 в плквтв ТЕХТ »З 14.3.1 Уолл»ив 6.3 [си. тахжв: лир»юли»в) в операторе выход» 5.7 в услОвном операторе 5.3 в цикле типа РГН!ЬЕ 5.5 слрвдвляющвв открытую вльтврнатиау отОорл с ожиданием 9.7.1 Условная каяпиляци» ИДВ Уюговпый»ылов входа 9.73; ОЗ и пврвимвиовлние входа 8.5 укатанного в спвцификаторе вдрвса 13.5.1 Условный олэр»тор 6.3 [си.
такжв: Опар»тор[ как составной оператор Файл (осъект фл»полого тип») 14.1 )см. твюкв: внв»ний фвял) Ф»йя лов»ВАЯВ»тэлэ»Ого доступ» 1 ° .2; 1я.1, 14.2.1 Файл пв Умолчанию М.ЗЗ; !4.3 Файл прввюго доступ» 14.2' 14.! 14Л.1 Фактичвск»л подпрограмм» [смя фактическая подпрогрвммл настройки) Ф»ктичвскав пвдяро~рамма ивсщюйки 12.1.3, 12.3.6 [см.
твюке: фактический параметр настройки! Ф»ктичвскпй объвкт [смх фвктичаскиа оОъвкт настройки[ фактический объект »»строяк» 12.3.1; \2.1 1 [см, тлхжв: фактический плрвмвтр наотройки! Фактический параметр 6.4.1; О; (операции) 6.7; (подпро. грвммы) 8.4; 6.2, 8.3 [см. также: вызов входа, вызов подпрограммы, вылов функции, опар»тор выэовв процвдуры, формвльный пв. РВ»втр) в коикрвтихвции настройки [смх фактический ллрв. метр и»стройки) именуемого тип» 9.2 индвксирувмсго типа 3.83 элдвчного типв 9.2 «лрвкгеристики и рвлрвавиие совмещен»» 6.8 являющийся агрегатом мвссивл 4.3.2 «вляюк(и»с» пврамвтром цикла 6.5 Ф»кт»ческий параметр пвстройк» 12.31!2 [см.
также: «онкретитлция настройки, согллсованив, со. плот»в»лике параметров настройки, фактическв» под. программа мвстролки, фактический ООъвкт настройки, фвктичвский тип настройки, формальный параметр нв. стройки) дл» формлльиого иидвксирувмого тип» и»стройки 12.3.4 для формвльного личного тип» нвотройки 12.3.2 для формального объекта настройки 123,1 дпя формлльиогс сквляриого типа настройки 12.3.3 для формвлыюго ссылочном типа настройки 12.3.5 для формвльного типв настройки 123.2 для форивльноя подпрограммы н»стройки !2.1.3, 12.38 нв может Выть операцией нвд уииварсвль.
ным фиксировликым типом 4.5.5 не является статическим 4.9 »вляющийс» агрегатом массива 4.3.2 являющийся т»д»чным типом 9.2 являющийся параметром цикла 55 Ф»к!их»олий тии [смх фвктичвский тип настройки) Фвктичвский тип настройки [смх фактический п»О»мэтр настройки) дпя формального индэксируэмого типа 12.3.4 для формвльнсго пичного типа настройки 12.3.2 для форм»льногс типа с дискримиилнтвми 12.3.2 для формальногс ск»»яркого тип» 12.3.3 для формального ссылочном типа 12.3.5 Фиэ»ческий процессор Ф 9.6 Фиксированный тпп 3.5.9 0 [см. твкжв: Оптовая операция..., веществ»илью тил, длительность, опврации типа..., склляриый тип, число.
вой тип, 8МАЫ 5ТЗТЕМ, ММЕ СЕЬТА, 5ТЗТЕМ.МАХ МАМТ!85А) тряпицы о»иОки я.5.7; 3.5.6 клк фактический тип настрОйки 12.3.3 «вк формальный тип настройки 12.1.2 операций типа 3.5.10; 4.5.3, 4.5.4, 4.5.5 рвэультвт Операции, выкодящвй эв дилл»топ энв»л. ний этого типа 4.5.7 точность операций тип» ЯЯЛ Форма увравлвиил [см.! фОрма Тир»виан»я с промежуточной пров*ркоя) Форм» увр»впв»ил Од Е(85 [сих форма управлеиия с промежуточной проввркси Форм» Тир»»пели» промежуточной проверкой 4.6, 4Л.1; 4.4 в выражении 4А как О»ловля операция типа 3.3.3; 3.5.5 Форм»ль»ап подпрограмм»»»стройки !ЕТ, тйд.з; !23.2, 12.3, 12.3.6 [см.
также: формвльный параметр настройки) с твм жв имвивм, что и другая 12.3 формальная функция 12.!.3 Формлльи»я подпрограмм» настройки ко умопчв»ию 12.1; 12.1.3, 12.3.6 Форм»льиый ВОъвкт к»стройки УВА, 1233; зя, 853, !233 [см. глюке: выражения по Умолчвнию, формальный пв. рлмвтр частройки) имвиувмого типа 3.7 2 иидвксирувмого типв 3.63 Фсрмвль»мй оОъвкт »»стройки вида (и 151.1! 3.2.1, 12.3, 12.3,1 Формаль»ый объект я»стройки лчда 00Т 151.1; 3.2.1, 12.3, 12.3.1 Формлльиый параметр 6.1) С; (входа) 9.5; 3.2, 3.2.1; (функ. ции) 6.5; (опврвции) 6.7; (подпрограммы) 8.1, 82, ВА; 3.2, 3.2.1, В,З [см. также; вид, вход, вырюквиив по умолчанию, осъ.
вкт, подл рогрвммв, фактический пар»мэтр, формвль. ный парамвтр нлстроА»и) главное программы 103 В»да»лого типа 9 2 имена и рлтремвиие совмвцэний 68 именуемого типа 3.7.2 индексированного типа 3.8.1 «вк конствнтл зял квк Объект 3.2 клк пвремеинвя 3.2.! »имитируемого типа 7.4.4 операции типа 3.3.3 пвреимлноалннсго вход» или подпрограммы 85 проиэводной подпрограммы 34 ФОРМаЛЬНОй ПСДПРСГРВММЫ Н»СТРОВКИ 12.1 Формлльиый параметр вмдл Ы 8.1, ВЯ; 3.23 вход» по прерыванию 13.5.1 функции 8.5 864 Цпкл типа НМ1в [амх оператор цикле) Черта (см..
Вертикальная черта1 трапимый питараал ° .5.7 Экземплар [смх экземпляр Настройки) Фермапьпый параметр вида рд Оцт бд, 62; 3.23 недопустим для входа по прерыванию 13.6.1 иедопуатим для функции 6.5 Формальмый параметр вида ООТ 6.1, В.2 недопуатим для входа по прерыванию 13.5.1 недопустим для функции В.5 Формальный параметр пастройкя 12.1, 12.3; 12, О (см. таюкщ объект, ааглвсование, сопоставление паре. метров, фактический параметр, формальная подпро. грамма настройки, формвпьиый абьект настройки, формальный тип настроаки1 зада«ного типе 9.2 лимитируемога тияа 7.4.4 как «онстаита 3.2.1 как лереманнвя 3.2.1 Формальяый тип пастрайк» 121, 12.1.Ш 12.3 [см. также: дискриминант..., ограничание..., укюаиие подтилв..., форнапьиью параметр настройки! квк индекс илн тип компоненты формального ин. дексируемого типе настройки 12.34 раздел формальных параметров 12.1.2 формальный дискретный тип 12.1.2 формальный индексируемый тип 12.1.2 12.3.4 формапьныи (ограниченный) индексируемый тип 12.1.2 формальиый пимитируемый личный тип 12,3.2 фОРМВПЬНЫЯ ПИМНТНРУЕИЬ * Т П 12.1.2 формальный пичныа тип 12.1.2, 12.3.2 формальный личный тип с дискриминантами 12.3.2 формвльиый ппаввюций тип 12.1.2 формальный перачислимый тип 12.1.2 формальный сквлярпый тип 12.1.2 формальный фиксированный тип 12.1.2 фармВльный целый тип 12.1.2 Формат ааодй Вывода ° пахатВ ТЕХТ Ю 14.3.5, 14,3.7, 14.3.6, 14.3.9 ФУпкЦлп В.1, 661 В.
12,3, О (см. также: оператор возврата, операция, параметр, предопределенная функция, подпрограмма, подтип ре. зультатв, профиль типе параметров и результата) как глввпвя программа 10.1 пвренманавапне 6.6 результат [смх воззрев(вемов значение) явлпющаесй атрибутом 4.1.4, 12.3.В Храпммае число (веществе«Ната типа) 3.6.6; 4.5.7 (си. твю!Тв: атрибут лредстйзлвний ев!«вственнапз тнлй, ващественный тип, модельное число) ограпичвниа ив результат операции над вецватвеипым типом 4.5.7 плавающего типа 3.5.7; 3.5 6 результат унивврсапьиого вырюкения недопустима валик 4.10 фиксированного типа 3.5.91 З.бхо (елее чаать десятичного литерала 2.4.1 как основание литерала с основанием 2.4.2 Илий литерал 2.4 (см. также: универсальный целый тип, целый литерал с основанием) в десятичной нотации 2.4.1 в но~ации с основанием 2.4.2 как граница дискретного диапазоне 9.5 «вк универсальный целый литерал 3.5.4 мтый иодтип [см.
РВЮППУ) относящийся к определению целого типа 3.5.4 список поняти» языка д Целый тмп 3.6.4; 3.3, 3.5, О [см. также: дискретпыи тип, предопределенныа тип, сквлпрпый тип, универсальный целый тип, числовой тип, ЗУЗТЕМ.МАХ 1ИТ, 5У5ТЕМ.М1И 1ЙТ[ квк параметр настройки 12.3.3 квк формальный тип нас~ройки 12.1.2 опервциЯ типа 3.5.5; 4.5.3, 4.5.4, 4.5.5, 4.56 цяююческап заеясимаать «амиплируемык модулей !йя Цпфра 21 (см.