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/* A template scanner file to build "scanner.c".
26   Run as:
27          test-lineno-nr    # report flex's yylineno
28          test-lineno-nr 1  # report count_newlines(stdin)
29*/
30
31#include <stdio.h>
32#include <stdlib.h>
33#include "config.h"
34
35%}
36
37%option 8bit prefix="test"
38%option nounput nomain noyywrap noinput yylineno
39%option warn
40
41WORD [[:alpha:]]+
42DIGIT [[:digit:]]
43
44%%
45    /* The goal here is to test the yylineno processing by:
46       - providing some rules than CAN match newlines and
47         other rules that can NOT match newlines,
48       - matching several newlines in one rule,
49       - directly modifying yylineno.
50    */
51
52"yylineno++"          yylineno++;
53"yylineno--"          yylineno--;
54[[:blank:]]+
55{WORD}
56{DIGIT}+(\n{DIGIT}+)*
57\n
58.
59<<EOF>>  { printf("%d\n", yylineno);
60           yyterminate();
61         }
62
63%%
64
65/* returns number of '\n' characters in input, plus one.
66   This is what flex does, essentially. */
67
68static int
69count_newlines (FILE* in)
70{
71    int n=1,c;
72    while ((c=fgetc(in)) != EOF)
73        if( c == '\n')
74            n++;
75    return n;
76}
77
78int main ( int, char**);
79
80int
81main ( int argc, char **argv )
82{
83    (void)argv;
84
85    if( argc > 1 )
86        printf("%d\n", count_newlines(stdin));
87
88    else{
89        yyin = stdin;
90        yyout = stdout;
91        yylex();
92    }
93    return 0;
94}
95