Справочное руководство по языку Ада-83


Описание настройки - часть 5


Форма ограничения, применимого к формальному типу в указании подтипа, зависит от класса типа, как и для типов, не являющихся формальными.

В описании формального (ограниченного) индексируемого типа настройки в качестве формы дискретного диапазона допустимо только обозначение типа.

Раздел дискриминантов формального личного типа настройки не должен включать выражение по умолчанию для дискриминанта. (Следовательно, переменная, заданная описанием объекта, должна быть ограничена, если ее тип — это формальный тип настройки с дискриминантами.)

В описании и теле настраиваемого модуля операции, которые можно выполнять над значениями формального типа настройки (кроме дополнительных операций, заданных формальными подпрограммами настройки), определяются описанием параметра настройки для этого формального типа.

а) Для описания личного типа разрешены операции, определенные в разд. 7.4.2 (в частнос-|ти, для личного, но нелимитируемого типа — присваивание, равенство и неравенство).

б) Для определения индексируемого типа разрешены операции, определенные в разд. 3.6.2 (например, они включают формирование индексируемых компонент и отрезков).

в) Для определения ссылочного типа разрешены операции, определенные в разд. 3.8.2 (например, могут быть использованы генераторы).

Четыре формы определения настраиваемого типа, в которых содержится

бокс

(т.е. составной ограничитель о), соответствуют следующим основным формам скалярного типа:

г) Для дискретного типа: (о)

Разрешенные операции — общие для перечисленных и целых типов; они определены в разд. 3.5.5.

д) Для целого типа:

range < >

Разрешенные операции над целыми типами определены в разд. 3.5.5.

е) Для плавающего типа:

digits < >

Разрешенные операции определены в разд. 3.5.8.

ж) Для фиксированных типов;

delta < >

Разрешенные операции определены в разд. 3.5.10.

Во всех случаях, пп. а) &#x2014; е), каждая операция, неявно связанная с формальным типом (т.е.




Начало  Назад  Вперед



Книжный магазин