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



              

Литералы


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

Числовые литералы — это литералы типов универсальный-целый и универсальный-вещественный. Литералы перечисления включают символьные литералы и вырабатывают значения соответствующих перечислимых типов. Литерал null вырабатывает пустое ссылочное значение, которое не указывает ни на какой объект вообще.

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

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

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









Содержание  Назад  Вперед