Пример 32

Наследуемые атрибуты

Наследуемые атрибуты представляют собой атрибуты, значения которых в узле дерева разбора определяются атрибутами родительского и/или дочерних по отношению к родитель­скому узлов.

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

В следующем примере наследуемый атрибут распространяет информацию о типе на различные идентификаторы в объявлении.

Рассмотрим синтаксически управляемое определение, представленное на рис. 51.

Объявление, порождаемое нетерминалом D в синтаксически управляемом определе­нии состоит из ключевого слова int или real, за которым следует список идентификаторов. Нетерминал Т имеет синтезируемый атрибут type, значение которого определяется ключевым словом объявления. Семантическое правило L.in:= T.type, свя­занное с продукцией D → T L, определяет наследуемый атрибут L.in как тип объявления. Затем приведенные правила распространяют этот тип вниз по дереву разбора с использованием атрибута L.in. Правила, связанные с продукциями для L, вызывают процедуру addtype для добавления типа каждого идентификатора к его записи в таблице символов (определяемой атрибутом entry).

Продукция	Семантические правила
D → T L	L.in:= T.type
T → int	T.type:= integer
T → real	T.type:= real
L → L 1, id	L 1 := L.in
	addtype( id .entry, L.in)
L → id	addtype( id .entry, L.in)

Рис. 51. Синтаксически управляемое определение с наследуемым атрибутом L.in

Рис. 52. Дерево разбора с наследуемыми атрибутами in в каждом узле, помеченном L

На рис. 52 показано аннотированное дерево разбора для предложения real id_1, id₂, id_{3 .} Значение L.in в трех L -узлах дает тип идентификаторов id_1, id₂ и id₃. Эти значения определяются вычислением значения атрибута T.type в левом дочернем по отношению к корню узле, а затем вычислением L.in в нисходящем порядке в трех L -узлах правого поддерева корневого узла. В каждом L -узле вызывается также процедура addtype для записи в таблицу символовинформации о том, что идентификатор в правом дочернем узле имеет тип real.

Дата добавления: 2014-12-27