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
44 /* A dummy function. A check against seg-faults in yylval->str. */
process_text(char * s)45 static 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(scanner))
82 {
83 yyerror(0, 0, "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(YYLTYPE *location, void* scanner, const char* msg) {
95 (void)location;
96 (void)scanner;
97 fprintf(stderr,"%s\n",msg);
98 return 0;
99 }
100
101