Допеременных имеет место для правил, содержащих действия

Внутри правой части. На самом деле yacc интерпретирует пра-

Вило вида

A: B C {действие 1} D {действие 2}

K {действие 3}

Как

A: B C EMPTY1 D EMPTY2 K;

EMPTY1: {действие 1}

EMPTY2: {действие 2}

И в месте, где вставлено действие, при разборе

- 18 -

Осуществляется свертка по пустому правилу, сопровождающаяся

Выполнением указанного действия. При этом независимо от

Характера действия очередной элемент в стеке значений отво-

дится для хранения значения неявно присутствующего "пустого"

Нетерминала. В действии, находящемся в конце правила, согла-

Шение о значениях псевдопеременных остается прежним, если

Иметь в виду наличие дополнительных символов. В приведенном

Выше правиле в действии 3 для доступа к значениям элементов

B, C, D, K следовало бы использовать соответственно псевдо-

переменные $1, $2, $4, $6; псевдоперемнные $3, $5 хранят

Результаты действий 1 и 2. В действиях, находящихся внутри

правила, с помощью псевдоперемнных $i доступны значения рас-

Положенных левее элементов, а также результаты предшествую-

Щих вставленных в тело действий. Результатом внутреннего

Действия (т.е. значением неявного нетерминала) является зна-

чение, присвоенное в этом действии псевдопеременной $$, при

Отсутствии такого присваивания результат действия не опреде-

лен. Заметим, что присваивание значения псевдопеременной $$

Не нашли, что искали? Воспользуйтесь поиском: