Н. Джехани - Язык Ада (1988) (1160771), страница 98
Текст из файла (страница 98)
Внутри тела задачи имя соответ. ствующего задачного модуля может быть также использовано для ссылки на объект-задачу (указывать на задачу), тело которой выполняется в данный момент; кроме того, не допускается использование этого имени в качестве обозначения типа внутри собственного задачного модуля". При предвыполнении спецификации задачи описания входов и спецификаторы представ- пения (если они есть) предвыполняются в том порядке, в котором они даны.
Спецификаторы представления применяются только к входам, списанным в спецификации задачи (см. 13.5). Предвыполнение тела задачи не имеет никакого другого результата, кроме установления, что тело с этих пор может быть использовано для выполнения задач, указанных объектами соответствующего задачного типа. Выполнение тела задачи вызывается активизацией задачного объекта соответствующего типа (см. 9.3). Возможные в конце тела задачи обработчики исключений обрабатывают иск. лючения, возбуждаемые е ходе выполнения последовательности операторов тела задачи (см. 11.4).
Примеры спецификации задачных типов: зазз !ура НЕЗООЯСЕ Н епву ЗЕ(7Е; ЕПМУ ЯЕЬЕАЗЕ( епв НЕЗООЯСЕ; звзх !уве КЕУВОАЯО ОН1ЧЕН 1 ° епму НЕАО (С; еЫ СНАЯАСТЕН); зиву ЧУЯ(ТЕ(С: 1и СНАЯАСТЕЯ): епе КЕУВОАЯО Ой(ЧЕЯ Примеры спецификации одной задачи: изх РЯОООСЕЯ СОМЗОМЕН Ы еппу НЕАО (Ч: ем( (ТЕМ); епну Ч(й(ТЕ(Е: !и !ТЕМ); епв; мзь СОМТНОЬЬЕЯ 1 ° епму яе00езт(ьечещ(0: 1тем): — семейство входов апд СОМТНОьЬЕН; гззк Овей; — не имеет входов Пример спецификации задачи и соответствующего тела; Нзь РНОТЕСТЕО АЯНАУ Ы вЂ” (мбех зпа пем — это глобальные типы епву НЕАО (М: 1и 1МОЕХ; Ч: ем! (ТЕМ); впву ууй(ТЕ(М: 1и !МОЕХ; Е: Ь (ТЕМ); епд; увез Ьм!у РЯОТЕСТЕО АННАУ Ы ТАВЬЕ: зпауВМОЕХ) Ы (ТЕМ:= ИМОЕХ ь> МОЕ 1ТЕМ); Ьзем (сел зе(еа! асеев! ЯЕАО (М: !и 1МОЕХ; Ч: ем! 1ТЕМ) ее Ч:= ТАВЬЕ(М); епв НЕАО; "Кроме того, она не может Сыть исполысвано з качестве производного от него типа или псдтипа.— Прим.
Ред. Глава 9 ог ассар! УЧЯ)ТЕ!М: )в 1МОЕХ; Е: )о ТАВ1.Е(М):= Е; ° вд УЧЯ1ТЕ; еве ае1есс: аве )сор; вве РЯОТЕСТЕО АНЯАЧ; !ТЕМ) ео Примечание. Спецификация задачи задает интерфеис задачам данного типа с другими задачами тех же или различных типов, а также с главной программой. Ссылки: вход 9.5, главная программа 10.1, зарезервированное слово 2.9, идентификатор 2.3, обработчик исключения 11.2, объект 3.2, описание 3.1, описание входа 9.5, описание объекта 3.2.1, описание типа 3.3.1, последовательность операторов 5.1, предвыпопнение 3.9, простое имя 4.1, раздел описаний 3.9, спецификатор представления 13.1, тип 3.3.
9.2. ЗАДАЧНЫЕ ТИПЫ И ЗФДАЧНЫЕ ОБЪЕКТЫ Задачный тип является лимитируемым типом (см. 7.4.4). Следовательно, дпя объектов за. дачного типа не определены ни присваивание, ни предопределенное сравнение на равенство и неравенство; более того, вид огд недопустим для формального параметра задачного типа. Задачный объект — это объект задачного типа. Значение задачного объекта указывает задачу с входами соответствующего задачного типа, а ее выполнение определено соответствующим телом задачи.
Если задачный объект является объектом ипи подкомпонентой объекте заданными описанием объекта, то его значение определяется предвыпопнением описания объекта. Если задачный объект является объектом или подкомпонентой объекта, созданными при выполнении генератора, то его значение определяется выполнением генератора. Для всех видов параметров, если фактический параметр указывает задачу, сопоставляемый формальный параметр указывает ту же задачу; это же относится к подкоМпоненте фактического пара. метра и к соответствующеи подкомпоненте сопоставляемого формального параметра; наконец, то же справедливо и для параметров настройки. Примеры: СОМТЙОЬ: ЙЕВООЙСЕ! ТЕЬЕТЧРЕ: КЕЧВОАНО ОН!ЧЕЙ: РООЬ: впау(1 ..
101 Ы КЕЧВОАНО ОЙ!ЧЕЙ; — см. также примеры описании одиночных задач в 9.1 Пример ссылочного типа, указывающего задачный объект: !уре КЕУВОАНО и асеева КЕУВОАНО ОЙ)ЧЕЯ: ТЕЯМ1МАЬ: КЕУВОАЙО:= весу КЕЧВОАНО ОЯ1ЧЕЯ; Примечание. Поскольку задачный тип является лимитируемым, он может появиться как определение лимитируемого пичного типа в личном разделе и как фактический параметр настройки, сопоставпяемый формальному параметру лимитируемого типа. С другой стороны, тип формального параметра настройки вида !и не должен быть лимитируемым и, следова. тельно, не может быть задачным типом.
Задачные объекты ведут себя как константы (задачный объект всегда указывает одну и туже задачу), поскольку их значения неявно определены при описании либо при генерации, либо при сопоставлении параметров, и никакие присваивания недопустимы. Однако зарезервированное слово сопв!Вп! недопустимо в описании задачного объекта, так как его наличие требует явной инициализации. Задачный объект, который является формальным параметром вида (и, есть константа (как и любой формальный параметр вида !и). Если алгоритм требует запоминания и переименования задачи, то это можно сделать определением ссылочного типа, указывающего на соответствующие задачные объекты, и ис. пользованием ссылочных значений для целен идентификации (см.
предыдущии пример). При. сваивание для такого ссылочного типа возможно, как и дпя любого другого ссылочного типа. Для задачных типов допустимы описания подтипов, как и для других типов, но никакие ограничения к задачному типу неприменимы. Ссыпки: вид формального параметра 6.2, вид формального параметра настройки 12.1.1, вход 9.5, генератор 4.8, зарезервированное слово 2.9, инициализация 3.2.1, константа 3.2.1, ли. митируемый тип 7.4.4, личный раздел 7.2, личный тип 7.4, настраиваемый модуль 12, объект 3.2, ограничение 3.3, операция неравенства 4.5.2, операция равенства 4.5.2, описание компонен.
Зв ачн ты 3.7, описание константы 3.2.1, подкомпонента 3.3, подпрограмма 6, предвыполнение 3.9, присваивание 5.2, сопоставление параметров 6.4, сопоставление параметров настройки 12.3, составнои тип 3.3, ссыпочныи тип 3.8, тело задачи 9.1, тип 3.3, указывать 3.8.9, фактический параметр 6.4.1, фактический параметр настроики 12.3, формальный параметр 6.2, формальныи параметр настройки 12.1.1. Е.Х ВЫПОЛНЕНИЕ И АКТИВИЗАЦИЯ ЗАДА4И Тело задачи определяет выполнение всякой задачи, которая указывается задачным объ. ектом соответствующего зедачного типа.
Начальный этап этого выполнения называется активизацией задачного объекта и указанной им задачи; активизация состоит иэ предвыполнения раздела описаний (если он есть) тела задачи. Выполнение различных задач, в частности, их активизация, производится параллельно.
Если задачный объект описан непосредственно в разделе описаний, то активизация за. дачного объекта начинается после предвыполнения раздела описаний (т.е. после грамматиче. ского разбора зарезервированного слова Ье91п, следующего за разделом описаний); аналогично если такое описание помещено непосредственно в спецификацию пакета, то активизация начинается после предвыполнения раздела описаний тела пакета. То же относится и к активиза. ции задачного объекта, являющегося подкомпонентой объекта, описанной непосредственно в разделе описаний или спецификации пакета.
Первый оператор, следующий за разделом описаний, выполняется только после окончания активизации эадачных объектов. Если при активизации одной из таких задач возбуждается исключение, то эта задача ста. новится законченной (см. 9.4); на других задачах зто прямо не отражается. Если во время активизации одна из этих задач становится законченной, то после завершения активизации (успешного или нет) всех задач возбуждается исключение ТАЗК1МВ ЕВНОВ; исключение возбуждается непосредственно за разделом описаний перед выполнением первого оператора (непосредственно после зарезервированного слова Ьей!п). Исключение ТАЗК)МВ ЕНВОН воз.
буждается лишь однажды, даже если во время активизации сразу несколько задач становятся законченными таким способом. Если исключение возбуждается при предвыполнении раздела описаний или спецификации пакета, то любая созданная (прямо или косвенно) этим предвыполнением задача, которая еще не активизирована, становится завершенной и, таким образом, она никогда не активизируется (см. равд. 9.4 с определением завершенной задачи). Приведенные выше правила предполагают, что в теле пакета без операторов присутствует пустой оператор. Для пакета без тела подразумевается тело пакета с единственным пустым оператором. Если пакет без тела описывается непосредственно в некотором программном модуле или в операторе блока, то его тело подразумевается в конце раздела описаний программного модуля или оператора блока; при наличии нескольких пакетов без тела порядок следова.
ния подразумеваемых тел пакетов не определен. Задачный.объект, являющийся объектом или подкомпонентой объекта, созданного выполнением генератора, активизируется этим выполнением. Активизация начинается после инициализации объекта, созданного генератором; если несколько подкомпонент являются задач- ными объектами, они активизируются параллельно.
Ссылочное значение, указывающее этот объект, возвращается генератором только после проведения этих активизаций. Если исключение возбуждается при активизации одной из таких задач, то она становится законченной задачей; на другие задачи этот факт не оказывает прямого воздеиствия. Если во время своей активизации одна из задач становится законченной, то после проведения активизации (успешной или нет) всех этих задач возбуждается исключение ТАЗК1МО ЕНВОВ; исключение возбуждается в той точке текста программы, где выполняется генератор. Исключение ТАЗК!МО ЕНВОВ возбуждается лишь однажды, даже если во время активизации сразу несколько задач становятся законченными таким образом.
Если исключение возбуждается во время инициализации объекта, созданного генерато. ром (следовательно, до начала активизации), то любая задача, указанная подкомпонентой этого объекта, становится завершенной, и, таким образом, она никогда не активизируется. Пример: Шеееееге Р 1е А, в: йезбцйсе; — предвыполняет заданные объекты А и В с; яезбцясе; — предвыполняет задачный объект С ьееш — задачи А, В, С активизируются параллельно~перед выполнением первого оператора Примечание. Вход задачи может быть вызван до активизации задачи. Если несколько задач активизируются параллельно, выполнение любой из них не предполагает ожидания конца активизации других задач. Задача может стать законченной во время ее активизации как из.за исключения, так и из-эа прекращения (см.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
