7. Дистанционное обращение

■■и- v

L

• Атрибут объекта полностью идентифицируется следую­щими элементами информации:

объектом;

некоторым классом, содержащим класс этого объекта;

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

Второй элемент определяется по тексту обращения к ат­рибуту. Префиксальный уровень класса (являющегося

вторым элементом) называется «уровнем» данного обраще­ния к атрибуту.

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

Неэкранированное вхождение идентификатора атрибута в данный объект является само по себе полной идентификацией атрибута. В этом случае первый и второй элементы опре­ делены неявно как соответственно данной объект и класс, связанный *с префиксальным уровнем вхождения идентифи­ катора. \

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

Дистанционное обращение к атрибутам, т. е. обращение к ним извне объекта, осуществляется или при помощи «ди­станционных идентификаторов», или при помощи, механизма «присоединения». Первое является видоизменением приемов, предложенных в работе [3], второе соответствует механизму присоединения в языке СЙМУЛА-1, изложенному в работе [2].

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

7.1. ДИСТАНЦИОННЫЕ ИДЕНТИФИКАТОРЫ

N

7.1.f. Синтаксис

/идентификатор атрибута) :: = /идентификатор) ■' ' ■

(дистанционный идентификатор) : : = . . л ■ ; -

(простое объектное выражение) . (идентификатор

:'- атрибута) |

(простое текстовое выражение).(идентификатор.

. .:, ■ ; .атрибута)

(идентификатор 1) :: —(идентификатор) | (дистанционный ■

< " ' идентификатор)

идентификатор переменной 1): ; = (идентификатор 1) простая переменная 1): : = (идентификатор переменной 1) идентификатор массива 1) :: = (идентификатор 1) переменная} : : = (простая переменная 1)1.

(идентификатор массива 1) [(список

. . ' индексов)]

(идентификатор .процедуры 1):: = (идентификатор 1) (указатель функции) :: =

(идентификатор процедуры 1) (совокупность

фактических параметров) (оператор процедуры) :: =

(идентификатор процедуры 1) (совокупность

фактических параметров) (фактический параметр):: = (выражение) |

(идентификатор массива 1) | (идентификатор переключателя) |

(идентификатор процедуры 1)