Занятие 4 по курсу МПК — различия между версиями

Версия 22:20, 17 апреля 2011

К основной странице курса

Простой парсер

Комплект для практического занятия скачиваем отсюда.

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

Для уяснения содержимого .y и .lex файлов необходимо иметь в виду следующее: эти файлы неразрывно связаны друг с другом, и информация, определенная в одном файле, используется в другом.

Разберемся в содержимом этих файлов и в том, как их компилировать.

• Поскольку gplex и gppg теперь работают вместе, gplex следует запускать без ключа /noparser, а gppg - с ключом /gplex
• my.lex

{INTNUM} {return (int)Tokens.INTNUM;}

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

• Tokens - перечислимый тип с полями, задаваемыми в myyacc.y. Он формируется автоматически по записи

%token INTNUM,REALNUM,ID

• Приведем для примера одно из правил в myyacc.y:

expr : expr PLUS T { Console.WriteLine("+"); }
     | T {}
     ;

Здесь лексема PLUS определена в файле my.lex Обратим также внимание на то, что правила во второй секции myyacc.y разделяются пустой строкой и если правило состоит более чем из одного подправила, то оно обязательно должно завершаться символом ;

• Определим лексему PLUS в файле my.lex:

PLUS \+
%%
{PLUS} {return (int)Tokens.PLUS;}

В файле myyacc.y:

%token INTNUM,REALNUM,ID

• В файле myyacc.y:

F : INTNUM {Console.WriteLine($1);}

• В файле myyacc.y:

%union {
  public int iVal;
  public double dVal;
  public string sVal;
}

%token <iVal> INTNUM

В файле my.lex:

{INTNUM} {
           yylval.iVal = int.Parse(yytext); 
           return (int)Tokens.INTNUM;
         }

Задания

• Разобраться в содержимом lex-файла
• Разобраться в содержимом и формате yacc-файла
• Добавить операции - /
• Добавить операцию % (остаток от целочисленного деления)
• Рассмотреть грамматику if then else и посмотреть на выдаваемую ошибку
• Рассмотреть модифицированную грамматику if then else и убедиться, что ошибки нет
• Добавить в грамматику выражений в начале программы присваивания вида a=3;b=4; После всех присваиваний должно идти выражение. Выражение также может содержать указанные переменные.