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 %parse-param { void* scanner }
25 %lex-param { void* scanner }
26
27 /*
28 How to compile:
29 bison --defines --output-file="bison_yylloc_parser.c" --name-prefix="test" parser.y
30 */
31 %{
32 #include <stdio.h>
33 #include <stdlib.h>
34 #include <string.h>
35 #include "config.h"
36 #include "bison_yylloc_parser.h"
37 #include "bison_yylloc_scanner.h"
38
39 int yyerror(YYLTYPE *location, void* scanner, const char* msg);
40
41 #define YYERROR_VERBOSE 1
42
43 extern int testget_lineno(void*);
44
45
46 /* A dummy function. A check against seg-faults in yylval->str. */
process_text(char * s)47 int process_text(char* s) {
48 int total =0;
49 while(*s) {
50 total += (int) *s;
51 ++s;
52 }
53 return total;
54 }
55
56
57 %}
58
59 %pure-parser
60
61 %union {
62 int lineno;
63 char * str;
64 }
65 %token <str> IDENT
66 %token <lineno> LINENO
67 %token EQUAL "="
68 %token COLON ":"
69 %token SPACE " "
70 %%
71
72 file:
73 line
74 | file line
75 ;
76
77 line:
78 LINENO COLON SPACE IDENT EQUAL IDENT
79 {
80 process_text($4);
81 process_text($6);
82 /* Check lineno. */
83 if( $1 != @1.first_line || $1 != testget_lineno(scanner))
84 {
85 yyerror(0, 0, "Parse failed: Line numbers do not match.");
86 YYABORT;
87 }
88
89 /* Recreate the line to stdout. */
90 printf ( "%04d: %s=%s\n", @1.first_line, $4, $6);
91 }
92 ;
93
94 %%
95
96 int yyerror(YYLTYPE *location, void* scanner, const char* msg) {
97 (void)location;
98 (void)scanner;
99 fprintf(stderr,"%s\n",msg);
100 return 0;
101 }
102
103