Н. Джехани - Язык Ада (1988) (1160771), страница 134
Текст из файла (страница 134)
° мого типа Опрвдвление индвксируемого типа Определение ограниченного пндекснруе. ° иго тяпе описание сбьекта опрвделейиа индексируемаго типа ппределемне наречие»»мого тяпа определение определенна оодтипа индекса опрсдвйение неограниченного нн. двкснруеного типа Определанна всдтяОп «ОИОО«виты описание компоненты определение прои«Водного типа определение тнпв определемпе осино«ныл тине определенна настранвавмога типа Определение типа опредмюнне тяня полное описание типа определение точности плаеаюаиго т»ня ограниченна плавающего типа определенна точностм фиксированного тина ограниченна фиксированного типе определение цалого тяпа определанна гнпп основание литерал с основанием основное оийсание основной элемант описания основной грвфичес«ий символ графический символ ссновноЯ символ основной симеон осмоеной элемент описания рахдеп описаний спецификация пакета отбор с ожиданием оператор отбора спи»ение выражение отреаок нмя первичное множитель подчеркивание идентификатор целое целое с основанием пенное авйсейне !мне описание тйпв вор»до« двсятичиыа литерал литерал с основанием носпвдоввтельнвсть оператпрее альтернатива аадвржки альтернативе оператора вьюора альтернатива принятия временной вызов входа обработчик нсключеннЯ оператор блоке оператор принятия оператор цикла отбор с ожиданием тело «адачн тело пакета тало подпрограммы условный вызов входа условнью оператор постфнкс именуемая компоненте претил преебрааованме тина первичное префикс атрибут ИНВНУВНВП КСНПОНВНТВ нндвксирувма» компоненте отрваок прописная буква буква основной графичаский симеон простса выражение выбор диапазон оператор задержки определение точности плаавюце.
го типа опрвделеннв точности фиксирован. НОГО ТИПВ отис»ение спэцифнкатор адреса 012 П к тный ссылкн сннтакснса 1зм 13.2 13.4 4.1 3.73 4.1 5.1 4.1 4 5.6 9.5 5.5 4.1.3 3.7.3 10.2 зл.г 13.5 13.4 5.1 51 гл 13.5 13.1 13.4 13.4 13 2 13 1 В.4 39 3.9 10.1.1 134 13.4 10.1.1 10 1 13.1 Зй 9.1 13.4 13 1 13.3 си си ип пипи РР !в.з 10.1 1 9.1 7.1 9.1 6.4 123 5Л 5Л 5.1 5.! 3.7.Э 3.7 3.7.1 З.В.1 7.4 3.3.1 3.9 В.В 9.1 7.1 6.3 В.4 6.4 9.6 В.э ай!» 12.3 12.3 6.1 9.5 9,5 ВЛ Ройки 12Л 12.1 2.4.2 2.4.2 2.1 2.1 2.5 4.1 3.5.1 аЛ.З ай 4.4 10.2 3.9 3.9 10.2 3.9 2,8 26 3.7.2 3.7.2 4.3 4.3 в.а 6.4 12.3 2.3 2.1 10.2 10.1 55 5.6 39 3.9 10 1 Ю.1 я! 3.9 7.1 3.9 12.3 апэцификэтор выравнивания сяецификатор длины спэцификэтар компоненты проста» пмя выбор им» меткв обозначение атрибута оператор алака апарвтор принятия оператор цикла поатфикс рвэдеп варивнтов спад тела аопоставлэмив дискримннвнта спацификатор адРеса спецификатор прядставления »а спвцификатар представления пе числения спвцификвтор соамэстнаыи спецификация задачи спецификация пакета тело задачи тела ппкета7.1 формальный параметр формальный параметр настройки простой оператор Оператор вустой опврвтор НРОстой опэрптор Рю»дэл вюрюйютав список компонвит р»»дэл дмскримяиймтов нала»нов описание типа описание пичного типа попмоэ алисвние типа Рпэйпп юююсэюий опэрвтор Опокв тело ввцачи тяпа пакет» тело подпрограммы рйэдюл ф»ктичэскмк пара»втрое вы»ав фумкций Опэрптср Вы»ОВВ В»ОДВ опеРатОр Вы»Сап працэдурь! рй»дэл фавтючэакю» юпрпматров кастр конкрвтив»цию настройки раэйэл фармюльпыя параметров олэр»тор принятия опиавииэ вкодв СПВЦИФИКВЦИЯ ПОДПРОГРВММЫ Рэвйэл формапьиык лйрямвтров ипат спэцификвцил настройки рюсюирэииэя ц»фра цепов е основ»нивм символ пробела осмовиой графический символ СИМ»0» УПРВЮЛВИМЛ основной символ символьный литерал имя литарвл пврвчислвнил постфюкс Свят»ЭМОВ простое вырюкение след тела тапа соответствую»ма тюпа сувмадуль тело аояоставпэпмэ аргт!!витю првгмв сопаатэюпвюмэ дискрмминактю агрвничвнне диакриминвнта сопоставлению «алеоиэкт эгрвгэт салос!люля»юэ парамвтров рэ»дэп фвктичвскик пар»мэтров сопостююлювйп марам»тра» влатройки рэ»дэп фвктичюскик пврамэтров настройки составной оператор опэрютар ая»ям»»який символ ОСНОВНОЙ ГРВфИ МСКИЙ СНМВОП спэцмфмквтщв адрес» спэцификэтар представления спэцяфикатор выра»ми»вмял спэцификютор прэдстввленн» »»пи С1юцификптор двины спвцификатор првдатввления типа сиэцифмкйтор иаюльвовюнив дополнительный элемент описания основной элвмвнт апис»ни» специфик»тор кснтэкств спэцификютщт каиооиэиты алвцификвтар представления тапи саэциф»катар «оятэкств компилируемый модуль поэм»фи»втор прэдставлвлмл оановнай эпемвнт описания спвцифий»тор задачи сиэцмфиквтор првдст»виэм»» »яиком специфика!ар лрвдставления типа спвцмфикатор првдстаэлвиил »Врач»с»э» специфика!ар представления типа апацифмквтор прэдставпэюмв тилю спэцификвтор предстаюйени» слюцификвтор савмвстиостм апециф «втор контекст» спвцмфик»цип диакрммюиаитю Раздел дискриминантов ппвцмфпкпцм» »эдачи аписвние задачи спацмфиквцию л»терплю пщтэчислвиил апрэдэлэние перечиспимого типа специфпк»цив настройки описанив настройки спэцпфикацил пакета описание пакета спецификация наатроики спецификация параметр» рввдюп форм»паны» параметров спец»фикэцйю ппрюювтра цикию скэма ийерации спвцификюцив подпрограммы олиаэние параметра настройки описание переимвноввния описвние подпрограммы слюд тэлэ сп»цйфиквция настройки тело подпрограммы список мдвлтификвторою описание исключэни» апис»нив кампон»нты описвниэ свьекта описания пврпмвтра настройки описание сувконстанты описание числа апвцификэция дискриминвнта спецификации пэрвметрт плясок комполвмт вариант опрвдэлание им»нуемага типа строковый литврйя знак операции первичное строчи»п Ьуква Оуквв грвфичвский символ аувмодуль вторичный модуль слэм» ютэрйцию опвратор цикла тело дополнительный элемент описания тала 6пвпмотвчиого модул» Втаричныи модуль таис »»дачи саотвэтствуюцва тело тапа палвта соответствующее тело 1 3.1 !ЗТ 13.1 10.1 1 10Л 1 3.7 1 3.7 ! 9.1 9.1 3.5 1 3.5.1 12Л 12.1 7.1 7.1 12.1 В.т ЕЛ 55 5.5 6.1 12.1 5.5 в.! 10.2 12.1 В.З 3.2 1 1.1 3.7 3.2 12.1 7.4 3.2 3.7.1 В.1 3.7 Э.7 3 3.7 2.6 В.т 44 П к тныв ссылки синтаксиса 613 101 В.З 10.1 З.ц 10.1 13 6.3 10.2 9.1 7.1 3.3.2 4.8 3.6 3.2 3.3.2 З.В 5А 3 ЕЗ 3.2 7.4 3.2 к.
5.8 12.1 3.5.9 12.1 3.5.7 9.5 2.4 1 4.4 9.7.1 9.7.2 5.3 выражение отбор с ожиданием усповйый вызов входа условный оператор 5.3 93.3 58 5.4 9.5 5.5 3.1 9 1.1 373 9.1 71 2.3 2.1 2.4.2 2.4.1 1 3.4 91 73 в.з 9 1.2 5.3 2.4 4.4 числовой литерал первичное 9.5 9.10 5.6 111 8.5 9.1 7.1 8.3 44 4.5 95 3.8 ехц опера~ар выхода 5.7 4.!.3 4.4 4.5 З.В 3.8 а! 13.5 134 13.4 5.6 9.1 тело библиотечного модуля тело подпрограммы библиотечный модуль соответствующее тело тело бибпиотечйою модуля указание подтмва генератор дискретный диапазон описание объекта опиавние подгнив алределейие неограниченною инда сируемаго пюа опредвленйе ограниченно~о индек. сируемого типа опав»в»вийе подтипа компоненты определанна производнога типа определение сом»очного типа унарна» алки!найва операция простое выражение условна альтернатива отборе оператор выхода схема итерации уславйый оператор ус»а\ный \ымж входе оператор отборе условный оваратор составная опеРатор фактический нерв»мтр сопоставление параметров фактмчвский параметр 'настройки сопоставление параметров нас~ройки формальный параметр сопоставление параметров фармвльнмй параметр настроики сопоставление йвраметров настройки цапов десятичный литерал основание порядок цапов с оспа»змием литерал с основанием цифра буква илн цифра основйой графическии символ рааниреннан цифра целое »Ьон оператор прекра!цени» вЬз множитель апераци» наивысшего приоритета «ссср! оператор принятия асеева определение ссылочмою типа ац юстфикс апб выражение логическая операци» анау определение неограниченного индвк сируемаго типа определение ограничвннага индек- снрувмОГО типа спецификатор адреса спецификатор выравнивания спецификатор компонен~ы Ьац!л оператор блока тела зада~и з.в 3.7 3.4 З.В 4.5 4.4 5.3 9.7.1 5.7 5.5 5.3 9.7.2 91 5.3 5.1 6.4 6.4 12.3 12.3 64 84 !гз 12.3 2.4.1 2.4 1 2.4 2 2 4.1 2 4.2 2.4.2 тело паке~а тена подпрограммы аобу след тепе тело задачи тела пакета саве оператор выбора раздел вариантов сопзтап! описание сбаекта описание субконстанты описание числа бвс!ам оператор блока йе!ау оператор задерзкки беде определение настраиваемою типа определенна точнгюти фиксированного типа б!цдв определение нас~раиваемого типа определение точности плавающего типа Во о вратар принятия Е поРядок в!Ьм е!вм условный оператор а»Ь временной вызов вкода оператор блока оператор выбора оператор принятия оператор цикла опрвдепейие именуемого типа отбор с ожиданием раздел вариан~аз спецификация задачи спецификация пакета спецификатор предыавпени» перечнюения тело задачи тела пакета тело подпрограммы условный вызов входа условный оператор виму Описание входа ехсеркол оператор блока описание исключения описание переименования тела задачи тело пакета тена подпрограммы !Ог специфика!ар адреса 13.5 слецификатор длины 13.2 специфика!ар представления звпиаи 13.4 слвцификатор предо~веления лере.
чиспения !З.З схема итерации 5.5 гмисцоп «сикрет»замял настройки 12.3 апецификвцня подпрограммы вл цепвпс формапьмый раздел настройки 12.1 цоф оператор перехода 5.9 и условный оператор 5.3 514 Пв к тныб ссыики синтвксиса 1п вл 12.1 4.4 5.5 О.Е ел 12.3 5.4 уа 12.1 3.3.2 3.3.1 3.7.3 10.2 9.1 7.1 9.! 7.1 в.з 5.5 9.7.3 9.7.1 9.7.2 10.2 10.2 3.3.2 иваМ 10.2 9.1 9.1 9.7.1 5.6 4.4 5.3 4.5 13.4 3.8.1 тд 12.1 з,зл вл 4.8 12.3 3.4 аа 4.6 аа ивв 13.5 13.2 8.4 13.4 4.4 5.1 3.7 первичное пустой сперетор список «ампонентов 13.3 мйеп З.В 5.4 9.7.1 3.7.3 11,2 5.7 3.8 ог 9.7.3 а.а 4.5 влл мйбе схеме итврвции мцй 12.1 10.1 1 3.7.3 11.2 4.4 4.5 выражение погичвсквя операция ои! ел 12Л 2.8 12.3 8.6 10.2 7.1 7.1 2.4.2 4.1.4 4.7 1ЗД 2.6 2.Е 7,4 7.1 12.3 8.1 11.3 3.5 12.1 З.е 13.4 Э.7 13.4 4.5 вид опискине пер»метре нес!ройки от«сменив спецификвцня параметра цикпв 1з конкрвтизвция нвстройки опер»тор выборе описвнив Ричного типе описание параметра нес!ройки описвние подтипв попков опискине типе Рвздеп ввривнтов спед тепе спецйфиквция ыдвчи спецификвция о»кете тепо задачи тепо пвкетв тена подпрогрвммы Июдеб описание пичного типе !оор опервтор цикпв »!об мупьтиппиквтивнвя операция спецификвтор вырввниввнип пем генвр»тор конкретизация настройки опредвпение нвспвдмого типе по! множитепь апервция нвивысмега приоритете отновение пид апредепение неограниченного индексируемого типа о»рейв»вийе огрвниченного индек.