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


Литералы


Литерал — это либо числовой литерал, либо литерал перечисления, либо литерал

null,

либо строковый литерал, либо символьный литерал. Вычисление литерала вырабатывает соответствующее значение.

Числовые литералы — это литералы типов

универсальный-целый

и

универсальный-вещественный.

Литералы перечисления включают символьные литералы и вырабатывают значения соответствующих перечислимых типов. Литерал

null

вырабатывает пустое ссылочное значение, которое не указывает ни на какой объект вообще.

Строковый литерал — это базовая операция, которая преобразует последовательность символов в значение одномерного массива символьного типа; границы этого массива определяются в соответствии с правилами для позиционных агрегатов массива (см. 4.3.2). Для пустого строкового литерала верхняя граница массива совпадает с нижней границей предшествен-ника задаваемого атрибутом PRED. Вычисление пустого строкового литерала возбуждает исключение CONSTRAINT_ERROR, если нижняя граница не имеет предшественника (см. 3.5.5).

Тип строкового литерала и тип литерала

null

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

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

Примеры:

3.14159_26536

- - литерал вещественного типа

1_345

- - литерал целого типа

КЛУБЫ

- - литерал перечисления

'А'

- - символьный литерал

"НЕКОТОРЫЙ_ТЕКСТ"

- - строковый литерал

Ссылки:

агрегат 4.3, видимость 8.3, граница массива 3.6, графический символ 2.1, индексируемый тип 3.6, исключение CONSTRAINT_ERROR 11.1, литерал вещественного типа 2.4, литерал перечисления 3.5.1, литерал целого типа 2.4, массив 3.6, объект 3.2.1, ссылочное значение

null

3.8, пустой литерал 3.8, размерность 3.6, символьный литерал 2.5, символьный тип 3.5.2, ссылочный тип 3.8, строковый литерал 2.6, тип 3.3, тип компоненты 3.3, указывать 3.8, универсальный вещественный тип 3.5.6, универсальный целый тип 3.5.4, числовой литерал 2.4.

Пред. 

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

Глава 4.

ИМЕНА И ВЫРАЖЕНИЯ

 

Начало  

4.3. АГРЕГАТЫ




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



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