Н. Джехани - Язык Ада (1988) (1160771), страница 85
Текст из файла (страница 85)
31); з: зтй!мй(3 .. 33); А ;= В; — одинаковое количество компонент А(1 .. 9);= "ззг ззчсз"; А(4 .. 12): А(1 .. 9); — А(1 .. 12) = "ззгззг заисз Примечание. Присваивание массива определено даже в случае перекрывающихся отрезков, поскольку выражение в правой части вычисляется до присваивания компонент.
Так, в случае последнего из приведенных примеров реализация, вырабатывающая А(1 .. 12) !апайалаг', была бы некорректной". Описанное выше явное преобразование подтипа выполняется только на уровне значения всего выражения правой части, но не для его подкомпонент, являющихся индексируемыми значениями. Ссылки: исключение СОМЗТЯА!МТ ЕЯЯОЯ 11.1, массив 3.6, отрезок 4.1.2, переменная 3.2.1, преобразование подтипа 4.6, присваивание 5.2, сопоставляемые индексируемые компоненты 4.5.2, тип 3.3. з Покоилонентная пересылка недопустима. — Прим.
рзй. О ы 5.3. УСЛОВНЫЕ ОПЕРАТОРЫ Условный оператор выбирает для выполнения одну или ни одной иэ входящих в него последовательностей операторов в зависимости от значения (истинности) Одного или нескольких условий. условный оператор:: = И условие бэеп последовательность операторов [е)еИ условие И)еп последовательность операторов) [е)зв последовательность операторов[ епд И; условие::= логическое выражение Выражение, задающее условие, должно быть логического типа. Для выполнения условного оператора вычисляются последовательно условия после И и е)зИ (трактуя заключительное е[зе как е1вИ ТВОЕ И)еп) до тех пор, пока одно из них не окв)яется истинным или не будут исчерпаны все условия.
При нахождении условия со значением ТВОЕ выполняется соответствующая последовательность операторов, в противном случае не выполняется ни одна иэ последовательностей операторов. Примеры: Я МОМТН = ОЕСЕМВЕЯ епд ОАУ 31 днп МОНТН:= ЭАНОАЯУ: ОАУ:= 1; УЕАЙ : УЕАЙ э 1; эе! Я; В ОМЕ ТОО ЗНОЯТ днп нв (АУООТ ЕЯЯОЯ; пмв МНЕ РОЬь днп ВЕЧУ ОМЕ: РОТ(!ТЕМ); еме РОТ(1ТЕМ); епд ٠— см. 3.8.1 я МУ САЯ.ОУУЙЕЯ.ЧЕН!СьЕ /= МУ САЙ дмя ЯЕРОЯТ Г1псопэс! дем ); епд Й; Ссылки: выражение 4.4, выполнение 4.5, логический тип 3.5.3, последовательность операторов 5.1. 5.4. ОПЕРАТОРЫ ВЫБОРА Оператор выбора выбирает для выполнения одну из нескольких альтернативных последовательностей операторов; выбор альтернативы осуществляется в зависимости от значения вы. ражения.
оператор выбора:: = сазе выражение [э альтернатива оператора выбора [альтернатива оператора выбора) епд свае; альтернатива оператора выбора::= нйеп выбор [ [ выбор ) = > последовательность. операторов Выражение должно быть дискретного типа, который должен быть определимым незави.
симо от контекста выражения, но с учетом того факта, что тип выражения должен быть дискретным. Более того, тип этого выражения не должен быть настраиваемым формальным ти- Глава 6 пом. Каждый выбор в альтернативе оператора выбора должен быть того же типа, что и выра- женив; перечень выборов определяет, для каких значений выражения выбирается соответствующая альтернатива. Если выражение является именем объекта статического подтипа, то каждое значение этого подтипа должно быть представлено один и только один раз в наборе выборов операто. ра выбора и никакие другие значения недопустимы; это правило применяется также, если выражение является квалифицированным выражением или преобразованием типа, обозначение типа которого указывает статический подтип.
В остальных случаях, для других форм выражения, каждое значение (базового) типа выражения должно быть представлено только один раз в наборе выборов и никакие другие значения недопустимы. Используемые в качестве выборов в операторе выбора простые выражения и дискретные диапазоны должны быть статическими. Выбор, являющийся дискретным диапазоном, задает все значения из этого диапазона (ни одного значения в случае пустого диапазона).
Выбор о(Нега допустим только в качестве единственного выбора для последней альтернативы и задает все значения (возможно, и ни одного), не приведенные в выборах предыдущих альтернатив. В качестве выбора в альтернативе оператора выбора не допускается использование прос. того имени компоненты. Выполнение оператора выбора заключается в вычислении выражения, в выборе последо. вательности операторов и в выполнении выбранной последовательности операторов. Примеры: свае ЗЕМЗОН (в «ечеп Е1.ЕЧАТЮМ ччлеп А21МОТН ччлап О18ТАМСЕ «Ьеп свчеге впв саве: => НЕСОНО ЕЬЕЧАТЮИ (ЗЕМЗОН ЧАШЕ); => НЕСОНО че2)МОТН (ЗЕМЗОН ЧАЬОЕ); => НЕСОНО О18ТАИСЕ (ЗЕМЗОН ЧАЬОЕ): => ппв; свае ТООАУ 1а ччнвп МОМ => СОМРОТЕ )И)т)А~ ВА(АИСЕ; )мп РЯ) => СОМРОТЕ С1.08)МО ВА(АМСЕ: ччлвп ТОЕ ..
ТНО => ОЕМЕНАТЕ НЕРОНТПООАУ): «зчеп ЗАТ .. ЗОИ => ппя; епв свае; сваа 81М МОМВЕН(СООМТ) Ы ° ч)мп 1 => ОРОАТЕ 81М(1); «йеп 2 > ОРОАТЕ 81М(2); «емп 3 (4 => ЕМРТУ 81М(1): ЕМРТУ В)И(21; ° член сямга => сама ЕННОН; епя свае; 6.6. ОПЕРАТОРЫ ЦИКЛА Оператор цикла содержит последовательность операторов, выполнение которой повторя.
ется несколько раз или ни одного раза Примечание. При выполнении оператора выбора выбирается одна и только одна альтернатива, так как выборы являются исчерпывающими и взаимно исключающими. Квалификацией выражения в операторе выбора статическим подтипом можно ограничить количество выборов, которые необходимо указать явно. Выбор о(йвгв обязателен в операторе выбора, если выражение имеет тип универсальный целый (например, выражение является целым литералом], так как это единственный спо. соб учесть все значения типа универсальный целый.
Ссылки: базовый тип 3.3, выбор 3.7.3, вызов функции 6.4, выражение 4.4, дискретный тип 3.5, имя 4.1, квалифицированное выражение 4.7, контекст разрешения совмещения 8.7, литерал перечисления 3.5.1, обозначение типа 3.3.2, объект 3.2.1, последовательность операторов 5.1, преобразование 4.6, преобразование типа 4.6, подтип 3.3, совмещение 6.6, 8.7, статический дискретный диапазон 4.9, статический подтип 4.9, тип 3.3, формальный тип настройки 12.1. оператор цикла с= (простое имя цикла:) (схема итерации) 1оор последовательность операторов епб 1сор (простое имя цикла); схема итерации::= мй((е условие ((ог спецификация параметра цикла спецификация параметра цикла::= идентификатор (п (геэегэе) дискретный диапазон Если в операторе цикла используется простое имя цикла, то оно должно задаваться как в начале, так и в конце этого оператора.
Оператор цикла без схемы итерации определяет повторяемое выполнение последовательности операторов. Выполнение такого оператора цикла заканчивается выходом из цикла вследствие выполнения оператора выхода или какой-либо другой передачи управления (см. 5.1). Для оператора цикла со схемой итерации мй((е перед каждым выполнением последовательности операторов вычисляется условие; если значением условия является ТНОЕ, то последовательность операторов выполняатся, если РАЕЗЕ, то выполнение оператора цикла заканчивается. Для оператора цикла со схемой итерации (ог спецификация параметра цикла является описанием параметра цикла с заданным в схеме итерации идентификатором. Параметр цик.
ла — это объект, типом которого является базовый тип дискретного диапазона (см. 3.6.1). В пределах последовательности операторов параметр цикла считается константой. Поэтому его использование в качестве переменной в левой части оператора присваивания недопустимо. Параметр цикла не должен использоваться в качестве параметра вида ем( ипи (п ом( операто. ра вызова процедуры или входа, а также в качестве параметра вида 1и ем( конкретизации настройки.
Для выполнения оператора цикла с итерационной схемой (ог сначала предвыполняется спецификация параметра цикла. При этом создается параметр цикла и вычисляется дискретный диапазон. Если дискретный диапазон пуст, то выполнение оператора цикла заканчивается. В про. тивном случае последовательность операторов выполняется по одному разу для каждого значения из дискретного диапазона(при условии, что не происходит выхода из цикла из-эа выполнения оператора выхода или какой-либо другой передачи управления). Перед каждой' такой итерацией параметру цикла присваивается соответствующее значение из дискретного диапазона При отсутствии зарезервированного слова гемгэе эти значения присваиваются в порядке возрастания, при наличии этого слова — в порядке убывания.
Пример оператора цикла без схемы итерации; (еев Оет(сОннемт снАВАстен): ехя ельл СОННЕМТ СНАНАСТЕН Ъ'; ет$ йер; Пример оператора цикла сс схемой итерации мййе; мляе В!0(М).РН(СЕ < СОТ ОРР.РН(СЕ Ьел НЕСОЯ0 В(0(в(0(М).РН(СЕ); М:= М ч 1: мк1 Ьер: Пример оператора цикла со схемой итерации (ог. Ьг Э Ь ВОЕРЕЯ'НАМВЕ ЬЕР— ПРаВИЛЬНО ДажЕ ДЛЯ ПУСТОГО ДИаПаЗОНа И ВОРРЕН(4 /= ВРАСЕ Иее РОТ(ВОРГЕН(Л); ем1 И; эпд Ьзр; Глава 5 Пример оператора цикла с простым именем цикла: ЗОММАПОН; МЫЬ МЕХТ гы НЕАР ЬЕР— СМ. 3.8 ЗОм:= зцм + шехтчяьце; НЕХТ:= НЕХТ.ЗОСС; епв Ьер ЗОММАТЮМ; Примечание.
Область действия параметра цикла простирается от спецификации параметра цикла до конца оператора цикла, а правила видимости таковы, что параметр цикла видим только в пределах последовательности операторов в цикле. Дискретный диапазон цикла вычисляется только один раз. Использование зарезервиро.
ванного слова гешнве не изменяет дискретный диапазон, так что следующие схемы итерации не эквивалентны (в первой — диапазон пуст): !ог 3 (п ппшгве 1 .. 6 !ог1!п0..1 Имена циклов используются также в операторах выхода и в расширенных именах (в качестве префикса имени параметра цикла). Ссылки: альтернатива завершения 9.7.1, базовый тип 3.3, видимость 8.3, возбуждение ис.
ключений 11, вызов процедуры 6.4, вычисление 4.5, граница диапазона 3.5, дискретный диапазон 3.6.1, зарезервированное слово 2.9, идентификатор 2.3, конкретизация настройки 12.3, коне. танга 3.2.1, контекст разрешения совмещения 8.7, логическое значение РАЕЗЕ 3.5.3, логическое значение ТЙОЕ 3.5.3, область действия 8.2, объект 3.2, оператор возврата 5.8, оператор вызова входа 9.5, оператор выхода 5.7, оператор перехода 5.9, оператор присваивания 5.2, описание 3.1, последовательность операторов 5.1, предаыполнение 3.1, преобразование 4.6, префикс 4.1, простое имя 4.1, пустой диапазон 3.5, расширенное имя 4.1.3, условие 5.3, фактический параметр 6.4.1, фактический параметр настройки 12.3, целый тип 3.5.4.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
