Н. Джехани - Язык Ада (1988) (1160771), страница 78
Текст из файла (страница 78)
3.7 Примеры агрегатов записи с именованными сопоставлениями: (0АУ => 4. МОМТН => ЭОЬУ, УЕАЯ > 1776) (МОМТН => ЭОЬУ, 0АУ => 4, УЕАЯ => 1776) (0(5К, СЬ05Е0, ТЯАСК => 5, СУОМОЕВ => 12) — см. 3.7.3 (ОКЯТ => 0(5К, 5ТАТОЕ => СЬ05Е0, СУЫМОЕВ => 9. ТЯАСК => 1) Примеры сопоставления компонент с несколькими выборами: (ЧАЬОЕ => О, 5ОСС)РЯЕ0 => пеш СШ'(О, пп)), пш))) — см.
3.8.1 — Генератор вычисляется дважды: 8Осс и Ряе0 обозначают разные ячейки Примечание: В агрегате с позиционными сопоставлениями первыми идут значения дискриминантов, так как раздел дискриминантов идет первым в описании именуемого типа; они дол. жны быть в том же порядке, что и в разделе дискриминантов. Ссылки: агрегат 4.3, в некотором порядке 1.6, возбуждение исключения 11, выбор 3.7.3, выражение 4.4, вычисление 4.6, генератор 4.8, дискриминант 3.3, зависит от дискриминанта 3.7.1, именуемый тип 3.7, имя компоненты 3.7, исключение СОМЗТЯА1МТ ЕЯЯОЯ 11.1, компонента записи 3.7, ограничение З.З, подкомпонента 3.3, подтип 3.3.2, программа 10, раздел вариантов 3.7.3, раздел дискриминантов 3.7.1, сопоставление компонент 4.3, статическое выражение 4.9, тип 3.3, удовлетворять 3.3.
4.3.2. АГРЕГАТЫ МАССИВОВ Если тип агрегата — одномерный индексируемый тип, то каждый выбор должен задавать значения индекса, а выражение в каждом сопоставлении компонент должно иметь тип соответствующей компоненты. Если тип агрегата — многомерный индексируемый тип, то и-мерный агрегат записывается как одномерный, в котором выражения, задающие сопоставления компонент, сами записываются как (п — 1)-мерный агрегат, называемый подагрегагом; подтип индекса одномерного агрегата задается первой позицией индекса индексируемого типа. То же правило используется для следующей позиции индекса при записи подагрегатов, если они опять многомерные.
В многомерном агрегате допустимо использование строкового литерала в качестве одномерного массива символьного типа. В дальнейшем связанные с агрегатами массивов правила формулируются в терминах одномерных агрегатов. Глава 4 Примеры агрегатов массивов с позиционными сопоставлениями: (7. 8, 5, 1, Э, 2, 4, 8, 6, О) ТАВсЕ'(5, 8, 4, 1, ошшм => 01 -- см. 3.6 Примеры агрегатов массивов с именованными сопоставлениями: (1 ..
5 => (1 .. 8 => 0.08 (1 .. М => ееш СЕЩ двумерный М новых ячеек, в частности для М = 0 ТАВЬЕ12 ( 4 ) 10 => 1, ошеге => О) ВСнебОЬЕ(МОм .. ея! => ТяОЕ, о!Веге => РАОЕЕ) --см. 36 ВСНЕООЬЕ'Я!УЕО ( 5ОМ => ЕАЕЗЕ. ошшге => ТЯОЕ) Эв исключением последнего сопоставления компонент с единственным выбором о(дега, остальные сопоставления (если они есть) агрегата массива должны быть либо все позиционными, либо все именованными.
Дпя агрегата массива, имеющего одно именованное сопоставление компонент с одним выбором, допускается задание только такого выбора, который не является статическим или является пустым диапазоном. Выбор 01Ьеге является статическим, если статическим является соответствующее ограничение индекса. Границы агрегата массива, имеющего выбор о(Яегз, определяются соответствующим ограничением индекса.
Использование выбора облете допускается только тогда, когда агрегат находится в одном из следующих контекстов (контекст определяет соответствующее ограничение индекса): а) Агрегат — это фактический параметр, фактический параметр настройки, выражение, являющееся результатом функции, ипи выражение, которое следует за составным ограничителем присваивания, и подтип соответствующего формального параметра, формального параметра настройки, результат функции или объекта — ограниченный индексируемый подтип. Для агрегата, помещенного в такой контекст и содержащего сопоставление с выбором о(легв, другие именованные сопоставления допускаются только в случае фактического параметра (не являющегося фактическим параметром настройки) ипи результата функции. Если. агрегат — многомерный массив, то это ограничение распространяется и на все подагрегаты.
б) Агрегат — это операнд квалифицированного выражения, обозначение типа которого указывает ограниченный индексируемый подтип. в) Агрегат — это выраженив в сопоставлении компонент другого агрегата индексируемого или именуемого типа, и если этот объемлющий агрегат — многомерный агрегат индексируе мого типа, то сам он заключен в один из этих трех видов контекста. Границы агрегата массива без выбора о(Яегв определяются следующим образом. Дпя агрегата с именованными сопоставлениями границы определяются наименьшим и наибольшим из заданных выборов.
Нижняя граница позиционного агрегата определяется соответствующим ограничением индекса, если агрегат помещен в один из контекстов а), б) или в); в противном случае нижняя граница задается как 8'Р)ЯЗТ, где 8 — подтип индекса; в обоих случаях верхняя граница определяется числом компонент. Вычисление агрегата массива, не являющегося подагрегатом, производится в два шага На первом шаге вычисляются выборы данного агрегата и его подагрегатов, если они есть, в порядке, не определенном в языке.
На втором — вычисляются выражения в сопоставлениях компонент в порядке, также не определенном в языке. Выражение в именованном сопоставле. нии вычисляется один раз дпя каждой сопоставляемой компоненты. Вычисление подагрегатов состоит из этого второго шага (первый шаг пропускается, так как выборы уже были вычислены).
При вычислении непустого агрегата массива производится проверка того, что значения задаваемых выборами индексов принадлежат соответствующему подтипу индекса, а также того, что значение каждой подкомпоненты агрегата принадлежит подтипу этой подкомпоненты. Для и-мерного агрегата производится проверка того, что все (и — 1умерные подагрегаты имеют одинаковые границы.
Если хотя бы одна из этих проверок дает отрицательный результат, возбуждается исключение СОМЗТЯА!МТ ЕЯЯОЯ. Примечание. Допустимыми константами агрегата массива с выбором о(бега являются те, в которых границы такого агрегата всегда известны из контекста. Имена и еы ажелия Примеры агрегатов двумерных массивов: -- три агрегата с одним значением типа МАТЙ(Х, см. 3.6 К!д, !.г, !.3), (2.1, 2.2, 2,ЗЯ (1 => (1.1, 1.2, 1.3), 2 => (2.1, 2.2, 2.3)) (1 => (1 => 1.1, 2 => 1.2, 3 => 1.3), 2 => И => 2.1, 2 => 2.2, 3 => 2.3)) Примеры агрегатов в качестве значении инициализации: А: ТАВЬЕ;= П, 9, 5, 1, 3, 2, 4, 8, В, О); — А(1)=7, А(10)=0 В: ТАВЬЕ:= ТАВ!.ЕТ2 ( 4 ( 10 => 1, о!лап => О); — 8(1)=0, В(10)=1 С: еопз!ап! МАТЛ!Х:= (1 .. 5 => (1 ..
8 => 0.0)); — С'Е(йЗТ(1)=1, С'(АЗТ(2)=8 0: В!Т ЧЕСТОЛ(М .. И):= (М,. и => ТВОЕ); — см. 3.6 Е: 8(Т УЕСТОй(М .. И):= (о!Лом => ТВОЕ); Е: ЗТЛ1НЗ(1 .. 1):= (1 => чо):-- ОдНОКОМПОНЕНтНЫй аГРЕГат:тс жЕ, ЧтО И «Р» Ссылки: агрегат 4.3, в некотором порядке 1.6, возбуждение исключений 11, выбор 3.7.3, выоажение 4.4, вычислить 4.5, диапазон индекса 3.6, именованное сопоставление компонент 4.3, индексируемый тип 3.6, исключение СОНЗТЙА(НТ ЕЙЙОЙ 11.1, квалифицированное выражение 4.7, компонента 3.3, объект 3.2, ограничение 3.3, ограничение индекса 3.6.1, ограниченный индексируемый подтип 3.6, подкомпонента З.З, подтип индекса 3.6, позиционное сопоставле. ние компонент 4.3, пустой массив 3.6.1, размерность 3.6, сопоставление компонент 4.3, составной ограничитель присваивания 5.2, статическое выражение 4.9, тип 3.3, тип индекса 3.6, тип компоненты 3.3, фактический параметр 6.4.1, формальный параметр 6.1, функция 6.5.
4.4. ВЫРАЖЕНИЯ Выражение — это формула, которая определяет процесс вычисления значения. выражение::= отношение (апд отношение) отношение (алб Взел отношение) ] отношение (ог отношение) отношение (ог е1ее отношение) ) отношение (хог отношение) отношение;:= простое выражение [операция отношения простое выражение] простое выражение [по!] (п диапазон простое выражение [поЦ (п обозначение типа простое выражение:;= [унарная аддитивная операция] слагаемое (бинарная аддитивная операция слагаемое) слагаемое х= множитель (мультипликативная операция множитель) множитель;:= первичное [" первичное] абв первичное ] по( первичное первичное::= числовой литерал ] пв!1 ] агрегат строковый литерал ( имя ]генератор вызов функции ] преобразование типа квалифицированное выражение ) (выражение) Каждое первичное имеет значение и тип.
Использование имен в качестве первичного допускается только для именованных чисел, атрибутов, которые вырабатывают значения, а также имен, обозначающих объекты (значением такого первичного является значение объекта] или обозначающих значения. Не допускается в качестве первичных использование имен формальных параметров вида оФ, а использование имен их подкомпонент допускается только в случае дискриминантов. Тип выражения зависит только от типа его составных частей и применяемых операций; дпя совмещенных операндов нли операций определение типа операнда или идентификация операции зависят от контекста.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
