/* Authors: Arnaud Legrand                                                  */

/* This program is free software; you can redistribute it and/or modify it
   under the terms of the license (GNU LGPL) which comes with this package. */

%option noyywrap
%{
#include "xbt/sysdep.h"
#include"surf/surf_parse.h"
#include "xbt/log.h"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(parse, surf ,"Logging specific to the SURF  module");

  YY_BUFFER_STATE input_buffer;
  FILE *file_to_parse;

  int line_pos = 1;
  int char_pos = 0;
  int tok_num = 0;
%}

%x comment foo str
space           [ \t]
letter          [A-Za-z._-]
digit           [0-9]

%%
        int comment_caller=0;

        char string_buf[MAX_STR_CONST];
        char *string_buf_ptr = NULL;

"//"[^\n]*
"/*"         {
             comment_caller = INITIAL;
             BEGIN(comment);
             }

<foo>"/*"    {
             comment_caller = foo;
             BEGIN(comment);
             }

<comment>[^*\n]*        /* eat anything that's not a '*' */
<comment>"*"+[^*/\n]*   /* eat up '*'s not followed by '/'s */
<comment>\n             {++line_pos;char_pos=0;}
<comment>"*"+"/"        BEGIN(comment_caller);

\"      string_buf_ptr = string_buf; char_pos++; BEGIN(str);

<str>\"        { /* saw closing quote - all done */
        BEGIN(INITIAL);
        *string_buf_ptr = '\0';
	surf_parse_text=string_buf;
	char_pos++;
	return TOKEN_WORD;
        /* return string constant token type and
         * value to parser
         */
        }

<str>\n        {
        /* error - unterminated string constant */
        /* generate error message */
        }

<str>\\[0-7]{1,3} {
        /* octal escape sequence */
        int result;

        (void) sscanf( surf_parse_text + 1, "%o", &result );

        if ( result > 0xff )
                /* error, constant is out-of-bounds */

        *string_buf_ptr++ = result;
	char_pos++;
        }

<str>\\[0-9]+ {
        /* generate error - bad escape sequence; something
         * like '\48' or '\0777777'
         */
        }

<str>\\n  {*string_buf_ptr++ = '\n';	char_pos++;}
<str>\\t  {*string_buf_ptr++ = '\t';	char_pos++;}
<str>\\r  {*string_buf_ptr++ = '\r';	char_pos++;}
<str>\\b  {*string_buf_ptr++ = '\b';	char_pos++;}
<str>\\f  {*string_buf_ptr++ = '\f'; 	char_pos++;}

<str>\\(.|\n)  {*string_buf_ptr++ = surf_parse_text[1]; 	
                if(surf_parse_text[1]=='\n') {
		  ++line_pos;char_pos=0;
	        } else { char_pos++;}
               }

<str>[^\\\n\"]+        {
        char *yptr = surf_parse_text;

        while ( *yptr )
	  *string_buf_ptr++ = *yptr++;
          char_pos++;
        }

({letter}|{digit})*     { char_pos+= strlen(surf_parse_text); return(TOKEN_WORD);}
"("                     { char_pos++; return(TOKEN_LP);}
")"                     { char_pos++;return(TOKEN_RP);}
"</"                    { char_pos+=2; return(TOKEN_END_SECTION);}
"<"                     { char_pos++; return(TOKEN_BEGIN_SECTION);}
">"                     { char_pos++;return(TOKEN_CLOSURE);}
"\n"                    { line_pos++; char_pos=0; return(TOKEN_NEWLINE);}
. { char_pos++;}
%%
/* {space}+                { return(TOKEN_SPACE);} */

static void __print_val(void) {
  switch(tok_num) {
  case TOKEN_LP      : {printf("TOKEN_LP ");break;}
  case TOKEN_RP      : {printf("TOKEN_RP ");break;}
  case TOKEN_BEGIN_SECTION : {printf("TOKEN_BEGIN_SECTION ");break;}
  case TOKEN_END_SECTION : {printf("TOKEN_END_SECTION ");break;}
  case TOKEN_CLOSURE : {printf("TOKEN_CLOSURE ");break;}
  case TOKEN_WORD    : {printf("TOKEN_WORD ");break;}
  case TOKEN_NEWLINE : {printf("TOKEN_NEWLINE\n");return;}
  case TOKEN_EMPTY : {printf("TOKEN_EMPTY\n");return;}
  default             : {printf("Unknown token %d\n", tok_num);return;}
  }
/*   if(strcmp(surf_parse_text,"")!=0) */
    printf("-->%s<-- [line %d, pos %d]\n",surf_parse_text,line_pos,char_pos);
/*   else */
/*     printf("--><-- [line %d, pos %d]\n",line_pos,char_pos); */

  return;
}

e_surf_token_t surf_parse(void) {
  tok_num = surf_parse_lex();
  __print_val();
  char_pos += strlen(surf_parse_text);
  return(tok_num);
}

void  surf_parse_open(const char *file) {
  file_to_parse = fopen(file,"r");
  xbt_assert1((file_to_parse), "Unable to open \"%s\"\n",file)
  input_buffer = surf_parse__create_buffer( file_to_parse, 10 );
  surf_parse__switch_to_buffer(input_buffer);

  line_pos = 1;
  char_pos = 0;
  tok_num = 0;
}

void  surf_parse_close(void) {
  surf_parse__delete_buffer(input_buffer);
  fclose(file_to_parse);

  line_pos = 1;
  char_pos = 0;
  tok_num = 0;
}

/*  Local variables: */
/*  mode: c */
/*  End: */