Yacc/Bison. Goutam Biswas

Size: px

Start display at page:

Download "Yacc/Bison. Goutam Biswas"

Maud Hines
6 years ago
Views:

1 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ½ Yacc/Bison

2 Ä ÄÊ Ô Ö Öº ÁØ Ò Ò Ð ÓÑ ÑÓÙÒØ Ó Ñ Ù ØÝº ÓÓ º ÓÒ Ð ØÝ ÓÖ Ò Ö Ð Þ ÄÊ Ô Ö Ò º ÙØ Ø Ø Ô Ö Ö ÐÓÛ Ö Ò ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ¾ Bison Yacc (Ý Ø ÒÓØ Ö ÓÑÔ Ð Ö¹ÓÑÔ Ð Ö) Ô Ö Ö Ò Ö ØÓÖ Ö Ø Ý Ëº Bison Ò yacc Ð ÆÍ Ô Ö Ö ÂÓ Ò ÓÒº º Ò Ö ØÓÖ Ø Ø Ð Ò Ù Ô Ø ÓÒ Ò Ø ÓÖÑ ÁØ Ò Ä ÄÊ Ö ÑÑ Ö Ò Ò Ö Ø Ø Ó Ë Ö Ö Ò µ Ó Ø Ð Ø Ó Û ÐÐ ÒÓØ Ù Ø %glr-parser

3 Ò Û Ø.y º Ì ÓÙØÔÙØ Ð Ò Ñ Ý ÓÙÐ Ù Ø ÔÖ Ü Ó Ø ÒÔÙØ Ð Ò ÙÐØ Ì Bison Û Ø -y ÓÑÑ Ò ¹Ð Ò y.tab.cº Û ÐÐ Ð Ó Ò Ö Ø Ø º ÓÔØ ÓÒ Á ÓÙØÔÙØ Ö ÕÙ Ö Ø Ô Ø ÓÒ Ð ÜØ Ò ÓÒ ÓÙÐ.y++ ÓÖ ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï Input Ø Ø Ô Ö Ö Ô Ø ÓÒ ÖÓÑ Ð º Bison Ø ÓÒÚ ÒØ ÓÒ Ó yacc Ø Ð Ò Ñ ÓÐÐÓÛ Ò ÔÖ Ü.tab.c º Ò Ñ ÓÙØÔÙØ Ð Ò Ö Ø Ý yacc Ò Ñ Ì.yppº ÓÖ ÔÖ Ü.tab.c++ ÔÖ Ü.tab.cpp

4 bison ÒÔÙØ Ð bison Ö ÑÑ Ö Ð µ ÓÐÐÓÛ Ò ØÖÙØÙÖ Ø Ö Ø ÓÒ µ Û Ø Ø ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï Input ÔÙÒØÙ Ø ÓÒ ÝÑ ÓÐ %% %{ Ò %}º Ô Ð %{ º º ÓÖ Ð Ö Ø ÓÒ ÈÖÓÐÓ Ù %} Ð Ö Ø ÓÒ ÓÒ %% ÖÙÐ Ö ÑÑ Ö %% Ô ÐÓ Ù º º Ø ÓÒ Ð ÓÖ Ó

5 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï Note Ì Ö Ø ØÛÓ Ø ÓÒ Ö Ö ÕÙ Ö ÐØ ÓÙ Ø Ý Ñ Ý ÑÔØÝµº Ì Ð Ø Ø ÓÒ Û Ø Ø Ø Ö %% Ñ Ý ÒØº

6 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï Example Ï Ø ÖØ Û Ø Ø ÓÐÐÓÛ Ò ÜÔÖ ÓÒ Ö ÑÑ Ö { + - * / ( ) fc ic } Æ { E } Ø Ø ÖØ ÝÑ ÓÐ E Ò Ø ÔÖÓ ÙØ ÓÒ ÖÙÐ Ö µ fc ic Ó Ð ØÓ ÑÔÐ Ñ ÒØ ÐÙÐ ØÓÖ Ù Ò ÇÙÖ Ò ÓÒ Ó ØÛ Ö º Ð Ü

7 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï flex Specification: exp.l %{ /* * exp.l is the flex specification for * exp.y++. The exp.tab.h++ will * be generated by bison compiler. * Compile as * $ flex exp.l * output: lex.yy.c */ #include <stdio.h> #include <stdlib.h> #include "exp.tab.h++" /* Generated by bison */

8 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï /* Copied verbatim in lex.yy.c */ %} %option noyywrap DELIM ([ \t]) WHITESPACES ({DELIM}+) NATNUM ([0-9]+) FLOAT (([0-9]*\.[0-9]+) ([0-9]+\.[0-9]*)) %% {WHITESPACES} { ; } {NATNUM} { yylval.integer = atoi(yytext);

9 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï return INT ; } {FLOAT} { yylval.real = (float)atof(yytext); return FLOAT; } "+" { return (int) + ; } "-" { return (int) - ; } "/" { return (int) / ; } "*" { return (int) * ;} "\n" { return (int) \n ;} "(" { return (int) ( ;} ")" { return (int) ) ;} %%

10 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ½¼ /* No C++ code */

11 Ö Ð exp.tab.h++ Û ÐÐ Ö Ø Ì Ø Ô Ö Ö Ò Ö ØÓÖ ÓÒº Ý ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ½½ Note flex Ô Ø ÓÒ Û ÐÐ ÓÑÔ Ð Ý Ø Ì ÓÑÑ Ò $ flex exp.l ÓÙØÔÙØ Ð Ó ÓÖ Ø ÒÒ Öµ Ì Ò Ö Ø º lex.yy.c

12 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ½¾ bison Specification: exp.y++ /* * bison specification for infix calculator. * Compile as follows: * $ bison -d exp.y++ * output: exp.tab.c++ and exp.tab.h++ * $ bison -y -d exp.y * same as yacc -d exp.y */ %{ #include <stdio.h> #include <iostream>

13 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ½ using namespace std; int yylex (void); /* type of yylex() */ void yyerror(char const *s); #define YYDEBUG 1 /* enables compilation with trace fac /* copied verbatim to exp.tab.c++ */ %} %union { int integer ; float real ; } /* type of yylval (value stack type /* type name is YYSTYPE /* default #define YYSTYPE int ple ty %token <integer> INT <real> FLOAT /* tokens and types */ %type <real> exp /* nonterminal and its type */ Ä Ø

14 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ½ /* non-terminal symbols are */ /* lower-case by convention */ %left - + /* left associative character */ %left * / /* tokens: nonassoc, right */ %left UNEG UPOS /* precedence of unary + - */ /* + - lowest precedence */ /* * / next higher */ /* unary + - is the highest */ %start s /* start symbol */ %% /* Grammar rules and action follows */

15 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ½ s: s line /* Empty line */ ; line: \n exp \n { cout << $1 ; } error \n { yyerrok ; } ; /* error is a reserve word and yyerrok() * is a macro defined by Bison */ exp: INT { $$ = (float)$1;} FLOAT /* Default action $$ = $1; */ exp + exp { $$ = $1 + $3 ; }

16 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ½ ; exp - exp { $$ = $1 - $3 ; } exp * exp { $$ = $1 * $3 ; } exp / exp { if($3 == 0) yyerror("divide by zero"); else $$ = $1 / $3 ; } - exp %prec UNEG { $$ = - $2 ; } /* Context de + exp %prec UPOS { $$ = $2 ; } /* precedence ( exp ) { $$ = $2 ; } %% int main() {

17 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ½ // yydebug = 1 ; To get trace information return yyparse() ; } /* * called by yyparse() on error */ void yyerror(char const *s) {cerr << s;}

18 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ½ Note bison Û ÐÐ ÓÑÔ Ð Ý Ì Ô Ø ÓÒ $ bison -d exp.y++ ÓÑÑ Ò Ø ÓÙØÔÙØ Ð» Ó ÓÖ Ø Ô Ö Ö Ì Ø Ö Ð µ exp.tab.c++ Ò Ò Ö Ò Ö Ø º exp.tab.h++ Ø ÓÔØ ÓÒ -v Ú Ò Á $ bison -d -v exp.y ÓÒ ÓÑÔ Ð Ö Ö Ø Ð exp.output Ø Ø Ö ÔØ ÓÒ Ó Ø Ô Ö Ö Ø Ø º Û Ø Á bison ÜÔ Ø ØÓ Ú Ð yacc Ø ÓÔØ ÓÒ $ bison -y -d exp.y

19 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ½ Makefile src = exp objfiles = $(src).tab.o lex.yy.o calc : $(objfiles) c++ $(objfiles) -o calc -lm $(src).tab.c++ : $(src).y++ bison -d $(src).y++ lex.yy.c : $(src).l calc.h flex $(src).l

20 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ¾¼ $(src).tab.o: $(src).tab.c++ calc.h c++ -Wall -c $(src).tab.c++ lex.yy.o : lex.yy.c c++ -Wall -c lex.yy.c clean : rm calc $(src).tab.c++ $(src).tab.h++ lex.yy.c $(objfile

21 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ¾½ Note %start s ¹ Ô Ø Ø ÖØ ÝÑ ÓÐ Ó Ø Ö ÑÑ Öº s: s line /* Empty string */ ; ¹ ÕÙ Ú Ð ÒØ ØÓ Ð Ò ÓØ ³ Ò Ð Ò ³ Ö ÒÓ¹Ø ÖÑ Ò Ð º ÆÓ Ø ÓÒ Ö Ó Ø Û Ø Ø ØÛÓ ÖÙÐ º

22 Ó exp Ø Ö Ø ÝÑ ÓÐ Ó Ø Ú ÐÙ Ó Ø ÖÙÐ º Ö Ø¹ Ò Ì Ú ÐÙ Ó Ø ÜÔÖ ÓÒ Ò Ø º ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ¾¾ line: Note \n exp \n { printf("%f\n", $1); } error \n { yyerrok ;} ; line³ Ñ Ý \n³ ÓÖ Ò ÜÔÖ ÓÒ expµ Ý \n³º Ì ÐÐ ØÓ printf() Ø ÓÐÐÓÛ Ø ÓÒ Ø Ò Û Ò exp \n Ñ ÒØ ØÓ lineº Ö Ù Ø Ô Ù Ó Ú Ö Ð ÓÖ Ø ØØÖ ÙØ $1

23 Ì Ø Ö ÖÙÐ Ù ÓÖ ÑÔÐ ÖÖÓÖ error³ ÐÐ Ò ÖÖÓÖ ØÓ Òº ÁØ Ù Ò Ø ÝÒ ÖÓÒ Þ Ø ÓÒ ÔÓ ÒØ ÖÓÑ ØÓ ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ¾ Note ÇÒ Ø Ø Ò ÝÒØ Ü ÖÖÓÖ ÓÒ ÐÐ Ø ÙÒØ ÓÒ yyerror()º Ì Ô Ö Ö Ô ÙÔ ØÓ Ø Ö ÓÚ ÖÝº Ö Ø Ö Ò ÓÒØ ÒÙ º Ò ÛÐ Ò Ø Ø Ò ÛÐ Ò Ö Ø Öº Û Ö Ø Ô Ö Ò Ò ÓÒØ ÒÙ º ÁÒ Ø

24 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ¾ Note yyerrok Ñ ÖÓº ÁØ Ò ÓÖÑ Ø Ô Ö Ö ÓÒµ Ø Ø Ø ÖÖÓÖ Ö ÓÚ ÖÝ ÓÑÔÐ Ø Ò Ø Ô Ö Ö Ò Ø ÖØ ÖÓÑ ÒÓÖÑ Ð Ø Ø º ÓÒ Ø Ö Ö ÔÓÖØ Ò Ò ÖÖÓÖ Ö ÑÓÚ Ø Ø Ò ÝÑ ÓÐ ÖÓÑ Ø Ô Ö Ò Ø ÙÒØ Ð Ø Ò Ø Ø Û Ö Ø Ò Ø error ØÓ Òº

25 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ¾ Note Ì Ò Ø Ô Ö Ö Ö ÐÐ ÒÔÙØ ÙÒØ Ð Ø Ö Ø ÝÒ ÖÓÒ Þ Ø ÓÒ ÒÔÙØ ÓÐÐÓÛ Ò Ø error ØÓ Òº ÁØ Ø Ò ÒØ Ö Ò Ö ÓÚ ÖÝ Ø Ø º ÁÒ Ø Ö Ò Ø Ô Ö Ö ØÓ ÒÓÖÑ Ð Ø Ø º yyerrok

26 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ¾ Note exp: INT { $$ = (float)$1;} FLOAT /* Default action */ ØØÖ ÙØ Ó Ø ØÓ Ò INT Ú Ð Ð Ò Ì Ô Ù Ó Ú Ö Ð ½³º ÁØ Ò Ø Ø Ó Ø Ô Ù Ó Ú Ö Ð ÓÖÖ ÔÓÒ Ò Ú ÐÙ Ø Ð Ø¹ Ò ÒÓÒ¹Ø ÖÑ Ò Ðº Ì ÓÒ ÖÙÐ ØÓ Ø ÙÐØ Ø ÓÒ $$ = $1;º Ù Ó Ô Ù Ó Ú Ö Ð Ö Ô Ò ÌÝÔ Ð Ö Ø ÓÒº %type

27 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ¾ Note Ì Ø ÓÒ Ø ÔÐ ÙÖ Ò Ø Ö ÙØ ÓÒ Ó Ø Ò Ð ÁÆÌ Ø ÖÑ Ò Ð ØÓ Ø ÒÓÒ¹Ø ÖÑ Ò Ð ÜÔº Ì ØØÖ ÙØ ÓÑ Ò ÖÓÑ Ø ÒÒ Ö Ú ÝÒØ Þ ØØÖ ÙØ Ó Ø ÒÓÒ¹Ø ÖÑ Ò Ð ÓÒ Ø Ú ÐÙ Ø º

28 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ¾ Note exp: - exp %prec UNEG { $$= -$2;} %prec Ö Ø Ú Ø ÐÐ Ø ÓÒ ÓÑÔ Ð Ö Ì Ø ÔÖ Ò Ó Ø ÖÙÐ Ø Ø Ó UNEG Ø Ø Ö Ø Ò Ø Ò ÖÝ ÓÔ Ö ØÓÖ º Ì Ø Ø ØÛ Ò Ø ÙÒ ÖÝ Ò Ò ÖÝ «Ö ÒØ Ø ÓÔ Ö ØÓÖ Û Ø Ø Ñ ÝÑ ÓÐº

29 ÓÖ ÐÓ Ø ÓÒº Ì Ö ÙÐØ YYLTYPEµ Ø Ø Ò Ö Ò Ò ÖÝº ØÝÔ ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ¾ Symbol Locations ÐÓ Ø ÓÒ Ó ØÓ Ò ÓÖ Ø Ö Ò Ó ØÖ Ò Ì ØÓ ÒÓÒ¹Ø ÖÑ Ò Ð Ò Ø ÒÔÙØ ÓÖÖ ÔÓÒ Ò Ñ Ý ÑÔÓÖØ ÒØ ÓÖ Ú Ö Ð Ö ÓÒ ØÖ Ñ ÖÖÓÖ Ø Ø ÓÒº º º ÔÖÓÚ Ð ØÝ ØÓ Ò Ø ØÝÔ bison

30 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ¼ Default YYLTYPE typedef struct YYLTYPE { int first_line; int first_column; int last_line; int last_column; } YYLTYPE

31 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ½ Ø Ô Ö Ö Ö Ù «½ «¾ ««Ò ØÓ Á ØÓ Ø ÔÖÓ ÙØ ÓÒ ÖÙÐ ÓÖÖ ÔÓÒ Ò «½ «¾ ««Ò Ø ÐÓ Ø ÓÒ Ó «Ò Ø Ô Ù Ó Ú Ö Ò Ø Ú Ð Ð Ó Û ÐÐ ØÓÖ ÐÓ Ø ÓÒ ØÓ Ø ÙÐØ Ñ ÒØ Ø ÓÒ Ø Ö Ë Ñ Ð Ö ÙÐØ Ø ÓÒ ÓÖ ÐÓ Ø ÓÒº ÁØ Ü ÙØ ÓÒ Ñ Ø Ò Ö ÙØ ÓÒ Ó ÖÙÐ Ò Ø Ú ÖÝ ØÓ Ø ÒÒ Ò Ò Ø

32 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï ¾ Default Action on Location exp: exp + exp = = = $$ = $1 + $3; // not a default action }

33 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï Global Variable yylloc ÒÒ Ö ÓÙÐ ÙÔÔÐÝ Ø ÐÓ Ø ÓÒ Ì Ó ØÓ Ò ØÓ Ñ Ø Ù ÙÐ ØÓ Ø Ò ÓÖÑ Ø ÓÒ Ì ÐÓ Ð Ú Ö Ð yylloc Ó ØÝÔ Ô Ö Öº Ù ØÓ Ô Ø Ò ÓÖÑ Ø ÓÒº Ì YYLTYPE ÔÙØ «Ö ÒØ ÐÓ Ø ÓÒ Ú ÐÙ º º Ð Ò ÒÒ Ö ÓÐÙÑÒ ÒÙÑ Ö Øº Ó ØÓ Ò Ò Ø ÒÙÑ Ö Ú Ö Ð Ò Ö ØÙÖÒ ØÓ Ø Ô Ö Öº

34 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï Example: scanner {NATNUM} { yylloc.first_column = yylloc.last_column+1; yylval.integer = atoi(yytext) ; yylloc.last_column += strlen(yytext); return INT ; }

35 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï Example: parser int main() { yylloc.first_line=yylloc.last_line=1; yylloc.first_column=yylloc.last_column=0; return yyparse() ; }

36 ÓÑÔ Ð Ö Ò ÁÁÁÌ Ã ÐÝ Ò Ï Example: parser exp:... exp / exp { $$ = $1/$3; if($3 == 0) fprintf (stderr, "Divide by zero: }

Degradation

Degradation Î Ê ÙÐØ Ì ÔØ Ö ÔÖ ÒØ Ø Ö ÙÐØ Ó Ø Ò Û Ø Ø ÑÙÐ Ø ÓÒ Ò Ñ ÙÖ Ñ ÒØ ÜÔÐ Ò ÙÒØ Ð Ø ÔÓ ÒØº ÁÒ ÐÐ Ø Ó ³ Ö Ø Û Ú Ö Û Ð P er Û ÔØ ÓÒ Ø ÒØ Ò Ø Ó ÓÒØ ÒØ Û Ú ÐÙ Ø Û Ø Ö Ô Ø ØÓ Ö Ø ÓÒ Ý Ù Ò Ø ÓÐÐÓÛ Ò Ñ Ò Ñ ½µ Ó Ø Ú ÕÙ