Н. Джехани - Язык Ада (1988) (1160771), страница 135
Текст из файла (страница 135)
сирувмого типе временной вызов входе вырвженив поги«век»я операция отбор с сжидвнием о%вы выбор выбор искпючвни» вид описвние параметра нвстройки ряск»ее «сн«реги»вин» пестрой«и о»ирвине первименоввнип след тела спецйфиквция пакета тело пакет» Ргзеюв првгмв рйтз!в описвние пичного типа спецификация пвйетв Ргосвбигв «онкретнзвци» настройки спвцификвция подпрогрвммы ге 1 ее оператор возбуждения искпючвния гепвв огрвниченив дивпвюнв апредвпение нвстрвиввемого типа о»рсдс«ение подгнив индекс» спвцификвтор компоненты ысеп1 опредепение именуемого типа спецификвтср предстввпвния ззписи и»! мупьтиппиквтивмв» операция юпвывв опискине переименования юзигп опер»тор возврата спецификация яодпрырвммы ытеые спвцификвци» пер»метр» цикла земо! временной вызов вкодв отбор с ожндвнием усповный вызов »коде зйрвпйй спей тепе оубмодупь воыуре опия»«ив подтипв спад тепе спецификация задачи твко задачи !егпяпв!в впьтернвтивв зввврвения феп вырвжение успавный опврвтар 1УР» неполное описание типе описвнив пичного типе описание пер»мегре и»стройки по»нов описание тйпв спецификвция звдвчи спецификвтор вдрвсв спецификвтор длины спецификвтор испопьзоввния спецификвтор представления квинси спецификвтор предстввпения перв.
чиспения зпьтермвтивв опврвторв вьсорв впьтернвтивв отборе вариант обрвботчик искпючени» опервтор выхода описвние параметра нвстроРки спец«фи«втор совместности строковыр питере» питере» с основанием вини!не» вддитивнвя операция атрибут кввпифицироввнное вырвжвние спервтор «одв симвопьмый питере» вгрегвт индексирувмвя компонента кввпифицироввнное вырвжвнив обознвчвнив »грибу!в ограничение дискриминжпв огрвничвние индексе опер»тор принятия описание входя опредепейие нвстрвиввемогс типе опредепение неогрвмиченного индек.
сируемого типе опредепвние пщзечиспимого тип» о~резок первичное првгмв 4.3 4.1.1 4.7 4.1.4 3.7.2 Зб 9.6 9.5 12.1 З.В 33.1 4.1.2 4.4 28 П К Укыс ССЫНКН СННУВКСНСа 015 46 3.7.1 6.4 8.1 10.2 8.4 12.3 4.5 4.4 Я.5 4.5 2.4.1 45 >г.з 8.4 10 1.1 32 4.5 2.4Л 4.5 13.3 1О.1.
1 3.7 9.1 7.1 8.3 9.7.2 5.3 В.т 2.4.1 4.1.3 2.4.2 3.5 Я.5 ( <( <> > 4.5 5.1 Я,в В.В 55 11.1 3.7 3.2 . 12.1 8.5 7.4 3.2 3.7.1 ВЛ 12.1 12.1 3.8 4.5 5.4 9.7.1 3.7.3 11.2 28 4.3 8.4 12.3 5.2 3.7 3.2 12.1 3.2 3.7.1 ВЛ > > » 1 4.5 операция отношения операция отношения метка 9351 9Л.З 12 3 З.вл 5.8 11.3 5.8 5.4 9.5 8.4 5,7 4.5 5.1 5.4 З.У.З 11.2 3.7.2 Я.З првсбраюаание типа ра»дел дискриминантов раздел фактических параметров Рввдеп формальных парам»трое субмодуль фактический параметр фактический параметр настройки мупьтипликвтнвная операция множитель операци» наивысшего приоритета Оинарнап вддитивнвя операция порядок умар»ля аддитивнвя операция агрегат 4.3 индексируемая компоненте 4.1.1 ограничение дискриминанта 3.7.2 ограниченна индекса 3.6 оператор прекращения 9.10 опредепейие неограниченного индек- снруемого типе З.В опрвделенйе перечислимого типа 3.5.1 првгма 2.8 ралдел фак~ических параметров В.я раадвл фактичвскик параметров настройки спецификатор использования спецификатор совместности список идентйфикаторов бинарная аддитиенап операция порядок унарнал аддитивная операция десятнчньф литерал именованная компонента литерал с основанием диапыон мупьтиппикативная операция операция о!мою»ни» оператоР Опека оператор цикла описание паклю~ения описание компоненты описание объекта описание параметра настройки описание переименования описание сувконстанты описание числе спецификация дискриминвнтв гжецификацня параметра оператор присваивания описание компоненты описание обче»та описание параметра настройки списание числа спецификаций дискримииантв спецификация параметра ай»терн»ткал завершения временной вы»ов вкода конкретизация настройки неполное описание типа оператор Олокв оператор вахвуждения оператор возврата опера~ор выварв оператор вылова входа оператор вылова процедуры оператор выкода опера~ос задержки опера~ор «ода оператор перекода оператор прекращения оператор припяти» оператор присваивани» оператор цикла описание входа списание лйдачи описание паклю~ения описание компоненты списание личного типа описание настроййи описание обьектв описание паке~а описание параметра настройки описание переименования описание подпрограммы описание подтипа описание сувконыанты описамие числа отвор с ожиданием полное описание типа прагмв пустой оператор равдел вариантов Ра»деп дискриминвнтов след гела спвцйфиквтор адреса спецификвтар выравнивания спецификвтор длины спацификатор испсльхоеания спецификатор компоненты спецификатар представления лепили спецификатор предо!велели» пере.
числе»на спецификатор совместное~и описок компонен~ тело задачи тело пакета тало подпрограммы условный вылов вкода условный оператор формвпьныи раздел операция отношения метка операци» отношения описание параметра нас~ройки сор»де»айне пестрей»а»мого типа определение подтипа индексе операция отношения альтернатива оператора выбОра альтернатива отбора вариант сбрввотчик исключения волос~веление аргументов сопоставление компонент сопоставление параметров сопоставление параметров настройки альтернатива оператора выбора вариант овраОатчик исключения сопоставление дискриминантов сопоставление компонент 9.6 >З.В 5.9 вл 0 5.2 5.5 9.5 9.1 1>Л Э.У 7.4 12.1 З.г УЛ 12.1 В.в вл 3.3.2 7.4 З.г 9.7.1 З.эл 2.8 5.1 э.у з злл ф.г 13.5 >З.Я 13.2 8.4 13.4 13.4 (Это приложение не является частью определения стандарта языка программирования дда.) Приложение Р ХАРАКТЕРИСТИКИ, ЗАВИСЯЩИЕ ОТ РЕАЛИЗАЦИИ Определение языка Ада допускает машинную зависимость в контролируемых пределах.
Не допускаются машинно-зависимые расширения, ограничения синтаксиса и семантики. Машинная зависимость допускается только в определенных реализацией прагмах и атрибутах, в машинно-зависимых соглашениях, перечисленных в гл. 13, а также в ограничениях на использование спецификаторов представления. Справочное руководство по каждой реализации языка программирования Ада должно включать в себя такое приложение (называемое приложением г), которое описывает все характеристики, зависящие от реализации. 3 таком приложении дпя данной реализации должны быть перечислены; 1. Форма, допустимые места расположения и результат каждой зависящей от реализации прагмы.
2. Имя и тип каждого атрибута, зависящего от реализации. 3. Спецификация пакета ЗуЗТЕМ (см. 13.7). 4. Список всех ограничений на спецификаторы представления (см. 13.1). 5. Соглашения об использовании генерируемых реализацией имен, обозначающих компоненты, зависящие от реализации (см. 13.4). б. Интерпретация выражений, появляющихся в спецификаторах адреса, включая связанные с прерываниями (см. 13.5). 7. Любое ограничение на неконтролируемые преобразования (см.
13.10.2). 8. Любые зависящие от реализации особенности для пакетов ввода-вывода (см. 14). [Этот список понятий иа пвпябтоя частью определения стандарта языка программирования Ада.) СПИСОК ПОНЯТИЙ ЯЗЫКА АДА В списке понятий представлены все термины и фразы'], которые определены в спра. вочном руководстве. Жирным шрифтом выделено понятие и номер раздела, содержащего определение этого понятия, например: Агрегат записи 4.3.1 Ссылки на разделы, предоставляющие дополнительную информацию, указаны после точки с запятой, например: Агрегат записи 4.3.1; 4.3 Ссылки на понятия, упомянутые в списке понятий и связанные с данным, указаны в квадратных скобках.
В последующих строках приведены номера разделов, в которых данное понятие используется, например: Агрегат записи 4.3.1; 4.3 [см, также: агрегат] в операторе кода 13.3 как базовая операция типа 3.3.3; 3.7.4 В качестве понятий списка представлены также элементы фраз, альтернативная терминология и указания, облегчающие читателю поиск инфррмации, например: Проверка ]см:1 прагма 80РР)]Е88] Актмвивацы [смэ активизация задачи] Апьтэрматмэа [смэ аиыэриатива завврмэиия, впьтэриатиэа задержки, альтернатива оператора выбора, впьтвривтива отбора, альтернатива принятия, закрытая виьтэриатицщ отбор с оэкидвиивм, открытая впьтэриатива) Агрегат заимок 4.3.11 4.3 [см.
такжв: агрэгвт) в опэрвторв кода 13.6 как базовая опэрвция типа 3.3.3; 3.74 Апьтэрматиав ° оператора [смз апьтвриатива в операторе выбора] Агрегат массива 4.В.2; 4.3 [см. твюкэ: вгрэгат] в спэцификаторэ прэдставиэиия пэрэчиспэиия 13.3 как Омовая операция типа 3.3.3; 3.6.2 учцэмтивмэв оиэрацмя [см. таюкэ: Оиивривв вддитививя опэрвция, уиаривя аддигививя опврации] зце]мтивиаи опэрацик типа эа,з тсчмость дпя ващэствэииопэ типа 4.5.7 Апьтариатива задэржки [отбора с ожидаикэм) Вьц1 Аиьтэрматмвэ оператора выбора 5.4 Адрес памяти дп» «вмпокаиты 13. ° [см. твкжэ: спэцификатор здрава] '1 Идентификаторы првдопрвдвпвннык понятий првдотавлвны в конце описка понятий.
— Прим. рвд. Мрэгат эд [см. твкжв: вгрвгат мвссивц агрэгвт записи, совмэщэ. ииэ] в гэивраторэ 4.6 в кввпифицироввимам выражении 4.7 в опэрвтора кода 1З.В в спэцификаторэ працстввпвиия пэрэчиспэии» 13.3 «ак базовая опврвция типа 3.3.3; 3.6.2; З.ти как пэрвичиса 4.4 иэ должен быль аргумэитом прэсбрмозамия 4.6 производного типа 3.4 Актмвизацмп задачи В.З [см таюкэ: атрибут 6ТОЯАОЕ 512Е, рвспрэдэпэииыэ кванты памяти, спэцификатор дпииы] бэз тэпв 1\.1 вызывающая сиикроииэацию В.10, 9.11 до прэдзыпояиэиия тапа 3.9 иэ првдуомотрэиа дпя аварийиой задачи 9.10 Альтернатива вавэрмэммп [отбора с ожмдамиэм] В.7.1 [см.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
