crypto/dist/heimdal/lib/sl/slc-lex.l

   1 %{
   2 /*
   3  * Copyright (c) 2004 Kungliga Tekniska Högskolan
   4  * (Royal Institute of Technology, Stockholm, Sweden).
   5  * All rights reserved.
   6  *
   7  * Redistribution and use in source and binary forms, with or without
   8  * modification, are permitted provided that the following conditions
   9  * are met:
  10  *
  11  * 1. Redistributions of source code must retain the above copyright
  12  *    notice, this list of conditions and the following disclaimer.
  13  *
  14  * 2. Redistributions in binary form must reproduce the above copyright
  15  *    notice, this list of conditions and the following disclaimer in the
  16  *    documentation and/or other materials provided with the distribution.
  17  *
  18  * 3. Neither the name of the Institute nor the names of its contributors
  19  *    may be used to endorse or promote products derived from this software
  20  *    without specific prior written permission.
  21  *
  22  * THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND
  23  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  24  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  25  * ARE DISCLAIMED.  IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE
  26  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  27  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  28  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  29  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  30  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  31  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  32  * SUCH DAMAGE.
  33  */
  34
  35 /* $Heimdal: slc-lex.l 15118 2005-05-10 22:19:01Z lha $
  36    $NetBSD: slc-lex.l,v 1.1 2008/03/22 08:37:23 mlelstv Exp $ */
  37
  38 #undef ECHO
  39
  40 #include <stdio.h>
  41 #include <string.h>
  42 #include <stdarg.h>
  43 #include <stdlib.h>
  44 #include "slc.h"
  45 #include "slc-gram.h"
  46 unsigned lineno = 1;
  47
  48 static void handle_comment(void);
  49 static char * handle_string(void);
  50
  51
  52 #undef ECHO
  53
  54 %}
  55
  56 %option nounput
  57
  58 %%
  59 [A-Za-z][-A-Za-z0-9_]*  {
  60                           yylval.string = strdup ((const char *)yytext);
  61                           return LITERAL;
  62                         }
  63 "\""                    { yylval.string = handle_string(); return STRING; }
  64 \n                      { ++lineno; }
  65 \/\*                    { handle_comment(); }
  66 [={}]                   { return *yytext; }
  67 [ \t]                   ;
  68 %%
  69
  70 void
  71 error_message (const char *format, ...)
  72 {
  73      va_list args;
  74
  75      va_start (args, format);
  76      fprintf (stderr, "%s:%d: ", filename, lineno);
  77      vfprintf (stderr, format, args);
  78      va_end (args);
  79      error_flag++;
  80 }
  81
  82 void
  83 yyerror (char *s)
  84 {
  85     error_message("%s\n", s);
  86 }
  87
  88 static void
  89 handle_comment(void)
  90 {
  91     int c;
  92     int start_lineno = lineno;
  93     int level = 1;
  94     int seen_star = 0;
  95     int seen_slash = 0;
  96     while((c = input()) != EOF) {
  97         if(c == '/') {
  98             if(seen_star) {
  99                 if(--level == 0)
 100                     return;
 101                 seen_star = 0;
 102                 continue;
 103             }
 104             seen_slash = 1;
 105             continue;
 106         }
 107         if(seen_star && c == '/') {
 108             if(--level == 0)
 109                 return;
 110             seen_star = 0;
 111             continue;
 112         }
 113         if(c == '*') {
 114             if(seen_slash) {
 115                 level++;
 116                 seen_star = seen_slash = 0;
 117                 continue;
 118             }
 119             seen_star = 1;
 120             continue;
 121         }
 122         seen_star = seen_slash = 0;
 123         if(c == '\n') {
 124             lineno++;
 125             continue;
 126         }
 127     }
 128     if(c == EOF)
 129         error_message("unterminated comment, possibly started on line %d\n", start_lineno);
 130 }
 131
 132 static char *
 133 handle_string(void)
 134 {
 135     char x[1024];
 136     int i = 0;
 137     int c;
 138     int quote = 0;
 139     while((c = input()) != EOF){
 140         if(quote) {
 141             x[i++] = '\\';
 142             x[i++] = c;
 143             quote = 0;
 144             continue;
 145         }
 146         if(c == '\n'){
 147             error_message("unterminated string");
 148             lineno++;
 149             break;
 150         }
 151         if(c == '\\'){
 152             quote++;
 153             continue;
 154         }
 155         if(c == '\"')
 156             break;
 157         x[i++] = c;
 158     }
 159     x[i] = '\0';
 160     return strdup(x);
 161 }
 162
 163 int
 164 yywrap ()
 165 {
 166      return 1;
 167 }