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


Спецификаторы представления - часть 3


Если программа содержит спецификатор представления, который не учитывается реализацией, она неправильна. Для каждой реализации в приложении даются правила составления руководства по языку, в котором должны быть описаны допустимые ею спецификаторы представления и соглашения для выражений, зависящих от реализации.

Если спецификатор представления используется для того, чтобы предписывать некоторые характеристики отображения понятия в объектной машине, то для выбора такого отображения реализация может использовать прагмы. Прагма PACK указывает, что минимизация размера памяти является главным критерием при выборе представления именуемого или индексируемого типа. Ее форма такова:

pragma

PACK (простое имя-

типа);

Упаковка означает, что промежутки между областями памяти, выделенные под последовательные компоненты, следует минимизировать, упаковка не влияет на отображение в памяти каждой компоненты. На отображение компонент можно повлиять прагмой (или спецификатором представления) для компоненты или типа компоненты. Место прагмы PACK в программе и ограничения на именованный тип подчинены тем же правилам, что и для спецификатора представления; в частности, прагма должна помещаться до любого использования атрибута представления упакованного понятия.

Прагма PACK — единственная определенная в языке прагма, связанная с представлением. Реализация может вводить дополнительные прагмы; они должны быть перечислены в приложении F. (В отличие от спецификаторов представления прагма, которая не принята в реализации, игнорируется.)

Примечание.

Для формального типа настройки недопустим спецификатор представления.

Ссылки:

атрибут представления 13,7.2, 13.7.3, вход 9.5, выражение 4.4, выражение по умолчанию 3.2.1, должно 1.6, допустим 1.6, задачный модуль 9, имя 4.1, компонента 3.3, наследуемая подпрограмма 3.4, находится непосредственно в 8.1, неправильная 1.6, объект 3.2, описание 3.1, описание подтипа 3.3.2, описание субконстанты 7.4, описание типа 3.3.1, пакет 7, подкомпонента 3.3, подпрограмма 6, подтип 3.3, понятие 3.1, прагма 2.8, производный тип 3.4, раздел описаний 3.9, родительский тип 3.4, спецификатор адреса 13.5, спецификатор длины 13.2, спецификация задачи 9.1, спецификация пакета 7.1, спецификатор представления записи 13.4, спецификатор представления перечисления 13.3, тело 3.9, тип 3.3, формальный тип настройки 12.1.2.

Пред. 

Уровень выше  След.

12.4. ПРИМЕР НАСТРАИВАЕМОГО ПАКЕТА

 

Начало  

13.2. СПЕЦИФИКАТОРЫ ДЛИНЫ




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



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