Н. Джехани - Язык Ада (1988) (1160771), страница 146
Текст из файла (страница 146)
фик»цнп задачи, спецификация питере»» перечно»ения, спвцифик»ция настройки, спецификация пйквтв, спецификация пврвмвтра, спецификвци» параметра цикл« спецификация подпрограммы) Спецификация дпскриминянтл $.7.1 [см. темке! »ырежвние по умолчвнию) видимость 8.3 в плэй»ив дискриминантов 3.7.1 задаюцая компоненту 3.7 имею»ля рвсиирвнную оолесть действия 8.2 клк честь основного описани» 3.1 Спецификации задачи 9.1; 9, С [см, также: предвыполнение...) вкпючвющйл описание вкодл 9.5 включвющл» прегму РЙЮЙ1ТУ 9.8 включаю«!ля спецификатор предстввпенн» 13.1 .
Спецификация лмтерял» пер»числе»и» $61 квк честь основ«ого описания 3.1 непосредственно видимая зй счет спвцификвюрв испо»злое»нил 8.4 Слей«фи«»цел настраиваемого модуле )смг спецификация нвстройкн) Свецификецил н»строй«» !2.1; 12.3.2 [см. также: спецификвция «встраиваемого пакете, спецификвцип нвстрпив»смой падпрогрйммь$ Свецпфнкацнв и»кете 7.1, 7.2 включающая првгму 1МЫМЕ 8.3.2 »КЛЮЧВЮЩВЯ ПРВП«У [МТЕЙРАСЕ 13.9 включвюцвя првгму 5СРРЙЕВВ 1!.7 включ»юще» спецификвтор представления 13.1 в описании настройки 12.1 Спецификация параметре 6.! [см.
темке спецификация пврвметра цикл«) видимость 6.3 в разделе формальных лет!ем»тров 6.1 имеющая ряс»иренную лопасть дейс~вия 8.2 кек честь основного описвния 3.1 Спецификации параметре цикл» 6.6 [см. глюке: предвыполнание) контекст рвзременип совмецений 8.7 опиов ие эп Спецификация подпрограммы 63 включающая имп лично~о типа Т.4.1 в описании нвстройки 12.1; 12.1.3 в описании переименовани» 8.6 в следе тела 10.2 в тепе подпрограммы 6.3 для функции 6.5 н требуемые вхождения 13.1 производных подпрогрвмм 7.4.1 соглвсувмая с другой 6.3.1 Спецмфпкецмл процедуры [смл спецификация подпрогрвммы) Спецификация фуикцн» [см: специфнквци* подпрограммы) Список [смк список идентификаторов, список компонент) Список мдвнтнфнкатлрсе 2.2 в описании компоненты 3.7 в опис»нии ооьвкта 3.2 в описании параметре настройки для формальных объектов мвстройки 12.! в описании суоконстанты 7.4 в описании числа 3.2 в спецификации днскриминента 3.7.1 в спецификвции пвраметра 8! Список «омпонвнт $.7 в варианте 3$ 3 в определении именуемого типа 3$ Сравнение [смэ операция отно»ения) Срочность задачи [смх прил!тите!!»лечи) Соил»числ значение МОО.
$6; 3.4, 4.2, 6.2, 11.1 [см. глюке: начальное значение по умолчанию дп» объект» осы»очного типе) вымыв»айве аазвуждвние исключения ССМ5ТЙА1МТ ЕЯЯСЯ 4.1 не вызыввющее возбуждение исключения ССМВТЙА[МТ ЕЙЙСД 11.7 Стер»пист»о 4.5 ствтмчвский выбор СТНЕЙ$4.$2 Список понятий яззцка а Статический дискретный дналазо» 4.9 квк выбор агрегата 4.3,2 «в» в«Сор оператора выбора 5.4 квк вьфор рвздвлв вариантов 3.7.3 Статический пвдтнп 4Я выражения в Операторе выборй 5.4 днскриминвнта З.у.з Статическое выражение 4.9; 8.7 в »встраиваемом модуле \23 в обозначении атрибута 4.1.4 в описании числа 3.2, 3.2.2 е определанны точности плавающего типа 3.5.7 в определении точности фиксирован»ого типе 3.5.9 в првгме РД1СДПУ 9.8 в спвцификвторе длины 13.2 в спвцификаторе представления записи 13.4 в спвцифнкатсре представления лара«испания 13.3 для выбора в вграгете записи 4.3.2 для дискриминанта в агрегата записи 4.3.1 «ак выбор в агрегате выбора 5.4 как выбор Раздела вариантов 3.73 «ак граница в Определении целого типа 3.5.4 тил «о!срого Всть ун«Веров«нный т»л 4.10 Статичаскее ераничеиие 49 на подкомлоненту, специфицированную слецнфн.
«Втором «Омпоненты 13.4 нв тнп 3.5.4, 3.5.7, 3.5.9, 13.2 Столбец ВЕЗИ Страница !43, Вйз,з Строка — ииа [фавла) 1 ° .1; 14.2.1, 14.2.3, 14.2.5, 14.3, 14.3.10, 14.4 Стрскоаал скобка ЕЩ 2.10 Строковый влтерзл 2.6, В.щ 2.2, 3.6.3 [см. такжм символ кавычки, символ процента, сонме!ке. нив...) °амененный квтенацией основньм символов 2.10 квк базовая операция типа 333, 4,2; 3.6, 8.2 как знак операции 8.1 «ак первичное 4.4 не должен Выть аргументом преобразования 4.6 Строчка ьйЗ, ьКЗА Строчив» бував 2.1 [см. тВ»жа: гряфича0«ий симВОВ! в идентификаторе 2.3 Е в десятичном литерале 2.4.1 от А до Р в литералах с основанием 2,4.2 Структурлзацмл, ре«оиендувме» длв тексте ярсцжмм !.6 Субкенстанте 7.4.3 лимитируемого тмпа 7.4.4 субзнцэль !Оск с [см.
также: библиотечный модуль) аозбуждаюцее исключение 11.4.1, 11.4.2 как библиотечный модуль 10.4 «ак втармчный модуль 10.1 «ак компилируеиыв модуль 10.4 компилируемого модуля из спецификаторв контекста 10.1.! недопустим дпя подпрограммы, зависящей от прет. мы!НТЕЯЕАСЕ 13.9 лерекомпилированньж [не являющийся результатсм других ксмпипируемык модулей 10.3) скомпилированный после соответствующего родительского модуля 10.3 о ограничением диапазона 3.5 С«юле )смз итерационная схема) Схема итерация 56 [ом.
также: дискретный тип) Табуляция [смс ввртиквльнал табуляции, горизонтальная твбулн. ция) Текст программы 2.2, 10.1 Текут!ий внд файла 14.1, 14.2.1; 14.2.2, 14.2.4, 14.з, 14.35, 14.4 текуцмй индекс файла «рлмого доступа жд, !4751! !4.84 Текущий размер файла врвмаго доступа 14.2 тело 3.9; С [см.
также: библиотечный модуль, настраиваемое тело, описание, тело настраиваемого пакета, тело настряпав. емсл подпрограймы, твко пакета, тело подпрограммы, соответствующее тело) как дополнительныв элемент описания 3.9 Тело библиотечного везете [смз библиотечный модуль, тело пакета) В воабуждении ис«люченил 11.4.1, 11.4.2 Тело ввдвчн В.Ц 9, С [см.
темке: предвыпопнение..., след тела! в «вчвстве соответствующего гела 3.9 возбуждающее исключение 11.4.1, 11.4.2 в теле пакета тл должно быть в этом же разделе описаний, что и описание 3.9, 73 еще нв лредвыполненное при актив»юдин 3.9 определяющее выполнение звцачн 9.2, 9.3 содержащее обработчик исключений 11.2; 11 содер!кащее оператор вьмада 5л содержащее оператор перехода 5.9 содержащее «алое описание 5.! Тело настраиваемого модуля [смз настраиваемое тала) Тело иастранвввмого пакет ° 12.2; 12.1 [см. глюке: тело пакета) Тело навете 7.1, 7.3; с [см.
также: след тела) включающее обработчик исключений 1!.2; 11 включающее оператор выхода 5.7 включающее оператор перекодв 5,9 включающее неявное описание 5.1 возбуждающее исключение 11.4.1, 1!.4.2 в тепе другого пакета 7.1 должно быть в тол же зоне описаний, что и описв. нне пакета 3.9 «е» вторичный модуль 10.1 квк вторичный иодуль, компилируемый после саот. ветствующего библиотечного модул» 103 как настраиваемое тела 12.2 как соответствующее тало 3.9 пврекОмпилироввннОВ 10.3 указанное в прагме Всррйббб 997 Тело иодлрыраммы В.З; В, С [см. также: след тела! е«лючяющев Обрвбстчи» ис«лю'ю»ия 11.2 11 включающее оператор возврата 5.8 включвюч!Ве оператор вьмода 5.7 включающее оператор кода, должно быть талом процедуры !З.В включаюцвв оператор перехода 5.9 возбуждающее исключение 11.4.1, 11.4.2 в тепе пакета 7.! должно Выть в той же самой зоне описания, что и описание 3.9, 7.1 ещв нв предвыполненное к моменту вызова 3.9 имеющее зависимые задачи 9Д квк библиотечная единица !0.1 как втаричныв модуль 10.1 «вк вторичныл модуль, скомпилированный после саответствующеп\ библиотечного модуля 10.3 как настраиваемое тело 12.2 как соответствуюцее тело 3.9 Спябок понятая языка а недопустимое для подпрограмм, ывисящик от прет.
мы 1»ТЕЯРАСЕ 1З.Э парекомпнпироввннае 10.3 помвценное на место каждого вызова В.3.2 Текст программы 2.2, 10.1; 2.10 Тело процедуры [смя тело подпрограммы) включаюцее олараторы «одв 133 Тело функции [смя тело подпрограммь6 Тнп ЗЗ; О [см, также: атрибут..., атрибут ВЮЕ, базовый атрибут, быовый тип, ввцественный тип, дискретный тип, дис. «риминент..., имаиуемый тип, индексируемый тип, «ласс типа, пимитируемый тип, личный тип, лсгиче. ский тип, неограниченный подтнп, неограниченныа тип, ограннченныВ тип, операция типа..., память распредвленв, перечислимый тип, плвввюцнй тип, подтип, предопределенный тип, производный тип, родительский тип, симвопьныЯ тип, скалярный тип, соотввтст.
еуюций типу, составной тип, спецификатор представления, ссылочный тип, требуемое вхождение, у»ивар. сельныа тип, фактический тип настройки, фиксированный тип, формальный тнп настройки, целый тип, числовой тил) агрегата 4.31, 4.3.2 аргументе првгмы 5ОРРде56 11.7 аргумента спвцификвтора представления 133, 13.6 возврвцаемыя атрибутом 4.1.4 Вьцнмкэннп 4.4 выражения в операторе выбора 5.4 дискриминанта формального пичного типа на. стройк» 12.3.2 дискриминантов формального обьектв настройки и сопоставпяемого фактического объекта 123.2 звдвчного абьекта 9.2 значения 3 Э, 3.2 именованного числа 3.2, 3.2.2 имени Эз.! »»даков 4.13 индекса массива формального индексируемого типа настройки 12.3.4 индексируемой «Омпоненты формального инде«си.
руемого типа настройки 12.3.4 литерала 4.2 Объекте, указанного формальным ссылочным ти. пом настройки 12.3.5 оп»санно»! объекте 3.2, 3.2.1 отрезка в МЭ параметра цикла 5.5 ПВРВИЧНОГО В ВЫРЮКЕНИИ 4.4 пвреимвнованныЯ 6.6 разделяемой перв»виной 9»1 рвзультета формальной функции настройки 12.1,3 строкового литерала 4.2 унивщзсельного выражен»» 4.10 услОвип 6.3 фВйпВ 14.1 Фя«ти мс«ого обче«тэ настрой«» !2.3.1 фактического параметра В.4.1 форме»в»Ого Обче«!В нВстрой«» 12.!.1, 123! формального параметре формвль»ОЯ подл рогрвм. мы нВОТРОЯ«н 12.1.3 Т»п индексе в в»форе агрегата массива 4.3.2 формального индепсируамого типе настройки 12.3.4 Тип компонемты выражения в вгрегетв записи 4.3.1 эы)южан»* а агрегате масс«за 4.3.2 инициализация объекта [смс начальное значение] катвнвция с индексируемым типом 4.6.3 операция типа, определяющая операцию нвд со.