Н. Джехани - Язык Ада (1988) (1160771), страница 73
Текст из файла (страница 73)
Каждая единичная спецификация дискриминанта описывает дискриминант. Если спецификация дискриминанта включает составной ограничитель присваивания, за которым следует выражение, то это — выражение по умолчанию для дискриминанта; выражения по умолчанию должны быть заданы либо для всех, либо не заданы ни для одного из дискриминантов раздела дискриминантов. Использование имени дискриминанта недопустимо в выражениях по умолчанию раздела дискриминантов, если спецификация дискриминанта сама дана в этом разделе дискриминантов.
В определении именуемого типа допустимы только следующие случаи использования имени дискриминанта: в выражениях по умолчанию для компонент записи, в разделе вариантов в качестве имени дискриминанта, а также в определении подтипа компоненты — либо как границы в ограничении индекса, либо для задания значения дискриминанта в ограничении дискриминанта. Использованное в этих определениях подтипа компоненты имя дискриминан. та должно встречаться само по себе, а не как часть выражения. Такие определения подтипа компонент и такие ограничения называются зависимыми от дискриминанта. Компонента называется зависимой от дискриминанта, если она — либо компонента записи, описанная в разделе вариантов, либо компонента записи, чье определение подтипа компоненты зависит от дискриминанта, либо, наконец, одна из подкомпонент, зависящих от дискриминанта.
Каждое значение записи включает значение каждого дискриминанта, заданного для име. нуемого типа; оно также включает значение для каждой компоненты записи, которая не зависит от дискриминанта. Значения дискриминантов определяют, значения каких компонент, за. висящих от дискриминантов, присутствуют в значении записи. Непосредственное присваивание дискриминанту объекта недопустимо; более того, дискриминант недопустим как фактическии параметр вида 1п ом1 или ов1 либо как фактический параметр настройки вида !и ом(. Единственным путем изменения значения дискриминанта переменной является присваивание (полного) значения самой переменной.
Аналогично присваивание самой переменной является единственным путем изменения одной из ее компонент, если определение подтипа компоненты зависит от дискриминанта переменной. Предвыполнение раздела дискриминантов не имеет другого эффекта. ПримеРы: 1урв ВОТРЕН(8!ЕЕ: ВОРРЕН 812Е:= 100) в — см. 3.5.4 геооя) РОВ: ВОЕРЕЯ 812Е:= 0; чАЕОе: Втй)мй(1 .. 812е); еол геоопз; 325 Описания н килы л» (тем(нцмвей: РОЗ(т(уе) и мене СОНТЕНТ: 1НТЕОЕЯ; — компонента не зависит от дискриминанта Фпд мФОЫ~ Ссылки: выражение 4.4, границы диапазона 3.5, дискретный тип 3.5, дискриминант З.З, идентификатор 2.3, именуемый тип 3.7, имя 4.1, компонента 3.3, компонента записи 3.7, личный тип 7.4, настраиваемый формальный тип 12.1, неполное описание типа 3.8.1, область действия 8.2, обозначение типа 3.3.2, объект 3.2, ограничение дискриминанта 3.7.2, ограничение индекса 3.6.1, описание 3.1, описание компоненты 3.7, описание пичного типа 7.4, описание параметра настройки 12.1, описание типа 3.3.1, подкомпонента 3.3, предвыполнение 3.9, присваивание 5.2, простое имя 4.1, раздел вариантов 3.7.3, составной ограничитель присваивания 2.2, список идентификаторов 3.2, указание подтипа 3.3.2.
372. ОГРАНИЧЕНИЯ ДИСКРИМИНАНТОВ Ограничение дискриминанта допустимо только в указании подтипа за обозначением типа. Это обозначение типа должно указывать либо тип днскриминанта, либо ссылочный тип, обозначающий тип с дискриминантом. Ограничение дискриминанта задает значения этих дискриминантов. ограничение дискриминанта з = (сопоставление дискриминанта (, сопоставление дискриминанта)) сопоставление дискриминанта с = (простое нмя дискриминанта ()простое имя дискриминанта) = > ) выражение Каждое сопоставление дискриминанта связывает выражение с одним или несколькими дискриминантами.
Сопоставление дискриминанта называется именованным, если дискриминанты заданы явно своими именами; иначе оно называется позиционным. Для позиционного сопоставления (единственный) дискриминант неявно задан позицией в текстуальном порядке. Именованные сопоставления могут быть даны в любом порядке, но если в одном и том же ограничении дискриминанта использованы позиционные и именованные сопоставления, то позиционные сопоставления должны стоять первыми, в их обычной позиции. Следовательно, если однажды было использовано именованное сопоставление, то в остальной части ограничения дискриминанта должны употребляться только именованные сопоставления.
Для именованного сопоставления дискриминанта имена дискриминантов должны обозначать дискриминанты того типа, для которого дано ограничение дискриминанта. Сопоставле. ние дискриминанта с более чем одним именем дискриминанта допустимо, только если все дискриминанты имеют один и тот же тип. Более того, для каждого сопоставления дискриминанта (именованного ипи позиционного) выражение и связанные дискриминанты должны иметь один и тот же тип. Ограничение дискриминанта должно задавать точно одно значение для каждого дискриминанта типа. Ограничение дискриминанта совместимо с типом, указанным обозначением типа, если и только если каждое значение дискрнминанта принадлежит подтипу соответствующего дискриминанта.
Более того, для каждой подкомпоненты, спецификация подтипа которой зависит от дискримннанта, дискриминант в этой спецификации подтипа компоненты заменяется значением дискриминанта и производится проверка совместимости результирующего указания подтипа. Составное значение удовлетворяет ограничению дискриминанта, если и только если каждый дискриминант составного значения имеет налагаемое ограничением дискриминанта значение. Начальные значения дискриминантов объекта, имеющего тип с дискриминантами, опредепены следующим образом: ° Для объявленной описанием объекта переменной указание подтипа должно быть огра. ннчено ограничением дискриминанта, если выражения по умолчанию для дискриминантов от. сутствуют; значения дискриминантов определены либо ограничением, либо при отсутствии его выражением по умолчанию.
То же самое требование существует для указания подтипа в описании компоненты, если тип компоненты записи имеет дискриминанты, а также для ука- Глава Э зания подтипа компоненты индексируемого типа, если тип компоненты массива — тип с дис. криминантами. ° Для объявленной описанием объекта константы значения дискриминантов берутся из начального значения, если подтип константы не ограничен; иначе они определяются из этого подтипа (в последнем случае возбуждается исключение, если начальное значение не принадлежит этому подтипу).
То же правило применяется к параметру настройки вида 1и. ° Для указанного ссылочным значением объекта значения дискриминантов должны быть определены генератором, создающим объект.(Созданный объект ограничен соответствующими значениями дискриминантов.) ° Для формального параметра подпрограммы или входа дискриминанты формального параметра инициализированы значениями дискриминантов соответствующего фактического па. раметра. (Формальный параметр ограничен, если соответствующий фактический параметр ограничен, и ограничен в любом случае, если его вид 1и или если подтип формального параметра ограничен.) ° Для описания переименования и для формального параметра настройки вида 1и ом1 дискриминанты — это дискриминанты переименованного объекта или соответствующего фактического параметра настройки. Порядок вычислений выражений, данных в сопоставлениях дискриминантов, при предвыполнении ограничения дискриминанта в языке не определен; выражение именованного соло.
ставления вычисляется по одному разу для каждого именованного дискриминанта. Примеры (использующие типы, описанные в предыдущем разделе): 1.АЙВЕ : ВОРРЕВ(200); — — всегда ограничен, 200 символов — — это явное значение дискриминанта — — не ограничен, вначале 100 символов — — это значение дискриминанта по — — умолчанию ВА818; 800АЯЕ(5!; — — ограничен, всегда 5 на 5 1(.(.ЕВА(.: 800АВЕ; — — неправильно, 80ОАВŠ— — должен быть ограничен Примечание.
Приведенные правила и правила, определяющие предвыполнение описания объекта (см. 3.2), гарантируют, что дискриминанты всегда имеют значения. В частности, если ограничение дискриминанта входит в описание объекта, то каждый дискриминант инициализирован значением, определяемым ограничением. Аналогично если подтип компоненты имеет ограничение дискриминанта, то дискриминанты этой компоненты соответственно инициализированы. Ссылки: вид 6.1, вид )п ом( 6.1, вход 9.5, выражение 4.4, выражение по умолчанию для дискриминанта 3.7, вычисление 4.5, генератор 4.8, граница диапазона 3.5, дискриминант 3.3, зависит от дискриминанта 3.7.1, зарезервированное слово 2.9, имя 4.1, компонента 3.3, константа 3.2.1, обозначение типа 3.3.2, указываемый тип 3.8, объект 3.2, ограничение 3.3, ограничен.
ный подтип 3.3, описание 3.1, описание компоненты 3.7, описание объекта 3.2.1, описание переименования 8.5, определение индексируемого типа 3.6, определение ссылочного типа 3.8, переменная 3.2.1, подкомпонента 3.3, подпрограмма 6, подтип 3.3, предвыполнение 3.9, простое имя 4.1, совместимый 3.3.2, составное значение 3.3, ссылочное значение 3.8, ссылочный тип 3.8, тип 3.3, удовлетворять 3.3, указание подтипа 3.3.2, указание подтипа компоненты 3.7, указываемый тип 3.8, указывать 3.8, фактический параметр 6.4.1, фактический параметр настройки 12.3, формальный параметр 6.1, формальный параметр настройки 12.1, 12.3.
3.7.3. РАЗДЕЛЫ ВАРИАНТОВ Именуемый тип с разделом вариантов задает альтернативные списки компонент. Каждый вариант определяет компоненты для соответствующего значения или значений дискри. минанта. раздел вариантов::= саве простое имя дискриминанта (в вариант (вариант) епд саве; Оп«салия и типы 327 вариант:: = айеп выбор ((выбор) = > список компонент выбор::= простое выражение (дискретный диапазон (о!Ьегв(простое имя компоненты Каждый вариант начинается со списка выборов, которые должны быть того же типа, что и дискриминант раздела вариантов.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
