xref: /netbsd-src/external/bsd/flex/dist/tests/bison_nr_parser.y (revision 56bd85463476f90bb489799c99292bb30d6771c0)
1 /*
2  * This file is part of flex.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  *
8  * 1. Redistributions of source code must retain the above copyright
9  *    notice, this list of conditions and the following disclaimer.
10  * 2. Redistributions in binary form must reproduce the above copyright
11  *    notice, this list of conditions and the following disclaimer in the
12  *    documentation and/or other materials provided with the distribution.
13  *
14  * Neither the name of the University nor the names of its contributors
15  * may be used to endorse or promote products derived from this software
16  * without specific prior written permission.
17  *
18  * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
19  * IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
20  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
21  * PURPOSE.
22  */
23 
24 /*
25    How to compile:
26    bison --defines --output-file="parser.c" --name-prefix="test" parser.y
27  */
28 %{
29 #include <stdio.h>
30 #include <stdlib.h>
31 #include <string.h>
32 #include "config.h"
33 #include "bison_nr_parser.h"
34 #include "bison_nr_scanner.h"
35 
36 #define YYERROR_VERBOSE 1
37 /* #define YYPARSE_PARAM scanner */
38 /* #define YYLEX_PARAM   scanner */
39 
40 int yyerror(const char* msg);
41 
42 
43 /* A dummy function. A check against seg-faults in yylval->str. */
process_text(char * s)44 static int process_text(char* s) {
45     int total =0;
46     while(*s) {
47         total += (int) *s;
48         ++s;
49     }
50     return total;
51 }
52 
53 
54 %}
55 
56 %pure-parser
57 
58 %union  {
59     int  lineno;
60     char * str;
61 }
62 %token <str> IDENT
63 %token <lineno> LINENO
64 %token  EQUAL "="
65 %token  COLON ":"
66 %token  SPACE " "
67 %%
68 
69 file:
70      line
71   |  file line
72   ;
73 
74 line:
75     LINENO COLON SPACE IDENT EQUAL IDENT
76     {
77         process_text($4);
78         process_text($6);
79         /* Check lineno. */
80         if( $1 != @1.first_line || $1 != testget_lineno())
81         {
82             yyerror("Parse failed: Line numbers do not match.");
83             YYABORT;
84         }
85 
86         /* Recreate the line to stdout. */
87         printf ( "%04d: %s=%s\n", @1.first_line, $4, $6);
88     }
89     ;
90 
91 %%
92 
93 int yyerror(const char* msg) {
94     fprintf(stderr,"%s\n",msg);
95     return 0;
96 }
97 
98