4.1 Имена

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

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

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

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

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

Оценка имени определяет сущность, обозначаемую именем. Эта оценка не оказывает никакого другого влияния для имени, являющегося прямым_именем или литералом_символа.

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

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

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