4.1 Имена

Имена могут обозначать объявленные сущности, объявленные явно или неявно (см. 3.1). Имена также могут обозначать объекты или подпрограммы, обозначенные значениями доступа; результаты преобразований типов или вызовов функций; подкомпоненты и срезы объектов и значений; защищённые подпрограммы, отдельные записи, семейства записей и записи в семействах записей. Наконец, имена могут обозначать атрибуты любого из перечисленных выше.

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

Имя в разъяснении (как неявное, так и явное) ожидается, что оно является любого типа доступа.

Если тип имени в разъяснении — это тип доступа к объекту T, то разъяснение обозначает представление объекта, номинальный подтип представления являясь обозначенным подтипом T.

Если тип имени в разъяснении — это тип доступа к подпрограмме S, то разъяснение обозначает представление подпрограммы, профиль представления являясь обозначенным профилем S.

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

Вычисление имени, имеющего префикс, включает вычисление префикса. Вычисление префикса состоит из вычисления имени или неявного разъяснения. Префикс обозначает сущность, обозначаемую именем или неявным разъяснением.

Вычисление разъяснения состоит из вычисления имени и определения объекта или подпрограммы, которые обозначены значением имени. Проверяется, что значение имени не является нулевым значением доступа. Ошибка Constraint_Error возникает, если эта проверка не проходит. Разъяснение обозначает объект или подпрограмму, обозначенные значением имени.

Примеры прямых имён: