external/bsd/flex/dist/tests/test-bison-yylloc/parser.y

   1 /*      $NetBSD$        */
   2
   3 /*
   4  * This file is part of flex.
   5  *
   6  * Redistribution and use in source and binary forms, with or without
   7  * modification, are permitted provided that the following conditions
   8  * are met:
   9  *
  10  * 1. Redistributions of source code must retain the above copyright
  11  *    notice, this list of conditions and the following disclaimer.
  12  * 2. Redistributions in binary form must reproduce the above copyright
  13  *    notice, this list of conditions and the following disclaimer in the
  14  *    documentation and/or other materials provided with the distribution.
  15  *
  16  * Neither the name of the University nor the names of its contributors
  17  * may be used to endorse or promote products derived from this software
  18  * without specific prior written permission.
  19  *
  20  * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
  21  * IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
  22  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  23  * PURPOSE.
  24  */
  25
  26 /*
  27    How to compile:
  28    bison --defines --output-file="parser.c" --name-prefix="test" parser.y
  29  */
  30 %{
  31 #include <stdio.h>
  32 #include <stdlib.h>
  33 #include <string.h>
  34 #include "config.h"
  35
  36 #define YYERROR_VERBOSE 1
  37 #define YYPARSE_PARAM scanner
  38 #define YYLEX_PARAM   scanner
  39
  40 int yyerror(char* msg);
  41 extern int testget_lineno(void*);
  42
  43
  44 /* A dummy function. A check against seg-faults in yylval->str. */
  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(scanner))
  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(char* msg) {
  95     fprintf(stderr,"%s\n",msg);
  96     return 0;
  97 }
  98