Контекстное условие: в операторе присваивания типы переменной I и выражения E должны совпадать.
В результате контроля контекстных условий выражения E в стеке останется тип этого выражения (как тип результата последней операции); если при анализе идентификатора I проверить, описан ли он, и занести его тип в тот же стек (для этого можно использовать функцию checkid()), то достаточно будет в нужный момент считать из стека два элемента и сравнить их:
void eqtype (void)
{if (strcmp (spop (), spop ())) ERROR();}
Следовательно, правило для оператора присваивания:
I <checkid()> := E <eqtype()>
2) Условный оператор и оператор цикла
if E then S else S | while E do S
Контекстные условия: в условном операторе и в операторе цикла в качестве условия возможны только логические выражения.
В результате контроля контекстных условий выражения E в стеке останется тип этого выражения (как тип результата последней операции); следовательно, достаточно извлечь его из стека и проверить:
void eqbool (void)
{if (strcmp (spop(), "bool")) ERROR();}
Тогда правила для условного оператора и оператора цикла будут такими:
if E <eqbool()> then S else S | while E <eqbool()> do S
В итоге получаем процедуры для синтаксического анализа методом рекурсивного спуска с синтаксически-управляемым контролем контекстных условий, которые легко написать по правилам грамматики с действиями.
В качестве примера приведем функцию для нетерминала D (раздел описаний):
#include <string.h>
#define MAXSIZE_TID 1000
#define MAXSIZE_TD 50
char * TD[MAXSIZE_TD];
struct record
{char *name;
int declare;
char *type;
/* ... */
};
struct record TID [MAXSIZE_TID];
/* описание функций ERROR(), getlex(), id(), eq(char *),
типа struct lex и переменной curr_lex - в алгоритме