Любая ссылка

Cтраница 4

Допустимые комбинации типов операндов. [46]

Внешнему символу, номер которого задается первым аргументом, присваивается значение второго аргумента. Номер символа состоит из двух цифр при / 0 или четырех цифр - в противном случае. Если бит t равен 0, то символ абсолютный, в противном случае - относительный. Типы определяющего выражения и уже занесенного в таблицу символа ( тип символа задается параметром t) должны совпадать. Во время определения любые ссылки на символ должны быть заполнены. [47]

Лексическая фаза заполняет элементы в таблице имен. Когда фаза интерпретации в каком-либо блоке встречает оператор DECLARE, она заводит элементы в таблице идентификаторов. Каждый элемент снабжается указателем имени идентификатора в таблице имен и индикатором блока, в котором этот идентификатор описан. Кроме того ставятся индекс элемента таблицы идентификаторов, в котором эта переменная переопределяется другим блоком. Таким образом, любую ссылку к переменной внутри блока фаза интерпретации должна заменить стандартным символом. Она находит правильный элемент в таблице идентификаторов, просматривая в этой таблице все вхождения переменной, используя информацию - о блочной структуре и индекс следующего переопределения. [48]

Ссылки на идентификаторы называются локальными ссылками, если они используют ассоциацию, активную только внутри выполняемых в настоящий момент блока или подпрограммы. Например, в Алголе локальной является ссылка на идентификатор, описанный в блоке, вход в который был выполнен Позднее всего. Глобальной ссылкой называется ссылка на ассоциацию, активную на протяжении всего выполнения программы. Примерами глобальных ссылок являются ссылки на имена подпрограмм в Фортране, а в Алголе - ссылки на идентификаторы, описанные в самом внешнем блоке. Нелокальная ссылка - это, как показывает название, любая ссылка, не являющаяся локальной. В Фортране ссылки бывают только локальными или глобальными. [49]

Доступ к элементам структур данных управляется индексированием. В неоднородных записях с каждым элементом или группой элементов ассоциируется идентификатор, который можно использовать как индекс. Доступ к элементам одно-родных массивов, являющихся частями записей ( определенных во фразе OCCURS), осуществляется с помощью целочисленных индексов. Одни и те же идентификаторы могут обозначать элементы внутри различных структур. Например, элемент с именем CITY может существовать в трех различных записях, называемых EMPLOYEE-RECORD, NEW-EMPLOYEE и EMPLOYER. Поскольку такое имя само по себе неоднозначно, каждое его употребление должно уточняться путем добавления имени структуры более высокого уровня ( такого, как имя записи), позволяющего однозначно идентифицировать нужные элементы, например CITY OF NEW-EMPLOYEE или CITY OF EMPLOYER. В общем случае допустима любая ссылка, если она не создает неоднозначности. [50]

Страницы: 1 2 3 4