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 extern int testget_lineno(void);
42
43
44 /* A dummy function. A check against seg-faults in yylval->str. */
process_text(char * s)45 int process_text(char* s) {
46 int total =0;
47 while(*s) {
48 total += (int) *s;
49 ++s;
50 }
51 return total;
52 }
53
54
55 %}
56
57 %pure_parser
58
59 %union {
60 int lineno;
61 char * str;
62 }
63 %token <str> IDENT
64 %token <lineno> LINENO
65 %token EQUAL "="
66 %token COLON ":"
67 %token SPACE " "
68 %%
69
70 file:
71 line
72 | file line
73 ;
74
75 line:
76 LINENO COLON SPACE IDENT EQUAL IDENT
77 {
78 process_text($4);
79 process_text($6);
80 /* Check lineno. */
81 if( $1 != @1.first_line || $1 != testget_lineno())
82 {
83 yyerror("Parse failed: Line numbers do not match.");
84 YYABORT;
85 }
86
87 /* Recreate the line to stdout. */
88 printf ( "%04d: %s=%s\n", @1.first_line, $4, $6);
89 }
90 ;
91
92 %%
93
94 int yyerror(const char* msg) {
95 fprintf(stderr,"%s\n",msg);
96 return 0;
97 }
98
99