Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
35a9c221905abdb06e88d534c1977985eb7351c7
[simgrid.git] / src / gras / DataDesc / ddt_parse.yy.l
1 /* $Id$ */
2
3 /* DataDesc/ddt_parse -- automatic parsing of data structures */
4
5 /* Copyright (c) 2004 Arnaud Legrand, Martin Quinson. All rights reserved.  */
6
7 /* This program is free software; you can redistribute it and/or modify it
8  * under the terms of the license (GNU LGPL) which comes with this package. */
9
10 /*   char string_buf[GRAS_DDT_PARSE_MAX_STR_CONST];
11      char *string_buf_ptr = NULL; FIXME; killme*/
12
13 %option noyywrap
14 %{
15 #include "gras/DataDesc/datadesc_private.h"
16 #include "gras/DataDesc/ddt_parse.yy.h"
17 #include <string.h>
18   YY_BUFFER_STATE gras_ddt_input_buffer;
19   FILE *gras_ddt_file_to_parse;
20
21   int gras_ddt_parse_line_pos = 1;
22   int gras_ddt_parse_col_pos = 0;
23   int gras_ddt_parse_char_pos = 0;
24   int gras_ddt_parse_tok_num = 0;
25   const char *definition;
26   XBT_LOG_NEW_DEFAULT_SUBCATEGORY(lexer,ddt_parse,"The crude internals of the lexer used for type parsing");
27 #define SHOW_WHERE DEBUG4("%d:%d (char #%d): seen '%s'", gras_ddt_parse_line_pos,gras_ddt_parse_col_pos,gras_ddt_parse_char_pos,yytext)
28 %}
29
30 %x annotate comment foo
31 space           [ \t]
32 letter          [A-Za-z._-]
33 digit           [0-9]
34
35 %%
36    int comment_caller=0;
37    int annotate_caller=0;
38
39 "//"[^\n]*
40
41 "/*g"{space}* { /****************** ANNOTATION ************************/
42   DEBUG0("Begin annotation");
43   annotate_caller = INITIAL;
44   gras_ddt_parse_char_pos+= strlen(yytext);
45   gras_ddt_parse_col_pos+= strlen(yytext);
46   BEGIN(annotate);
47 }
48 <foo>"/*g"{space}* { /* trim annotation */
49   DEBUG0("Begin annotation");
50   annotate_caller = foo;
51   gras_ddt_parse_char_pos+= strlen(yytext);
52   gras_ddt_parse_col_pos+= strlen(yytext);
53   BEGIN(annotate);
54 }
55
56 <annotate>{space}*"g*/" {
57   DEBUG0("End annotation");
58   gras_ddt_parse_char_pos+= strlen(yytext);
59   gras_ddt_parse_col_pos+= strlen(yytext);
60   BEGIN(annotate_caller);
61 }
62
63 <annotate>"*/" {
64   PARSE_ERROR0("``/*g'' construct closed by a regular ``*/''");
65 }
66 <annotate>\n  {
67   PARSE_ERROR0("Type annotation cannot spread over several lines");
68 }
69
70 <annotate>.* { /* eat the rest */
71   gras_ddt_parse_char_pos+= strlen(yytext);
72   gras_ddt_parse_col_pos+= strlen(yytext);
73   return GRAS_DDT_PARSE_TOKEN_ANNOTATE;
74 }
75
76 "/*[^g]"   { /****************** COMMENTS ************************/
77   /* constructs like : */
78     /*g [string] g*/ 
79   /* are not comments but size annotations */
80   comment_caller = INITIAL;
81   BEGIN(comment);
82 }
83
84 <foo>"/*[^g]"    {
85   comment_caller = foo;
86   BEGIN(comment);
87 }
88
89 <comment>[^*\n]*      { /* eat anything that's not a '*' */
90 }
91 <comment>"*"+[^*/\n]* { /* eat up '*'s not followed by '/'s */
92 }
93 <comment>\n             {
94   ++gras_ddt_parse_line_pos;
95   gras_ddt_parse_col_pos=0;
96   gras_ddt_parse_char_pos++;
97 }
98 <comment>"*"+"/" {
99   gras_ddt_parse_char_pos+= strlen(yytext);
100   gras_ddt_parse_col_pos+= strlen(yytext);
101   BEGIN(comment_caller);
102 }
103
104 ({letter}|{digit})* {  /****************** STATEMENTS ************************/
105   gras_ddt_parse_char_pos += strlen(yytext);
106   gras_ddt_parse_col_pos += strlen(yytext);
107   SHOW_WHERE;
108   return(GRAS_DDT_PARSE_TOKEN_WORD);
109 }
110 "{"  { 
111   gras_ddt_parse_char_pos++; 
112   gras_ddt_parse_col_pos++; 
113   SHOW_WHERE;
114   return(GRAS_DDT_PARSE_TOKEN_LA);
115 }
116 "}" {
117   gras_ddt_parse_char_pos++;
118   gras_ddt_parse_col_pos++;
119   SHOW_WHERE;
120   return(GRAS_DDT_PARSE_TOKEN_RA);
121 }
122 "["  { 
123   gras_ddt_parse_char_pos++; 
124   gras_ddt_parse_col_pos++; 
125   SHOW_WHERE;
126   return(GRAS_DDT_PARSE_TOKEN_LB);
127 }
128 "]" {
129   gras_ddt_parse_char_pos++;
130   gras_ddt_parse_col_pos++;
131   SHOW_WHERE;
132   return(GRAS_DDT_PARSE_TOKEN_RB);
133 }
134 "("  { 
135   gras_ddt_parse_char_pos++; 
136   gras_ddt_parse_col_pos++; 
137   SHOW_WHERE;
138   return(GRAS_DDT_PARSE_TOKEN_LP);
139 }
140 ")" {
141   gras_ddt_parse_char_pos++;
142   gras_ddt_parse_col_pos++;
143   SHOW_WHERE;
144   return(GRAS_DDT_PARSE_TOKEN_RP);
145 }
146 "*" {
147   gras_ddt_parse_char_pos++;
148   gras_ddt_parse_col_pos++;
149   SHOW_WHERE;
150   return(GRAS_DDT_PARSE_TOKEN_STAR);
151 }
152 ";" {
153   gras_ddt_parse_char_pos++;
154   gras_ddt_parse_col_pos++;
155   SHOW_WHERE;
156   return(GRAS_DDT_PARSE_TOKEN_SEMI_COLON);
157 }
158 "," { 
159   gras_ddt_parse_char_pos++;
160   gras_ddt_parse_col_pos++;
161   SHOW_WHERE;
162   return(GRAS_DDT_PARSE_TOKEN_COLON);
163 }
164 "\n" {
165  gras_ddt_parse_line_pos++; 
166  gras_ddt_parse_char_pos++;
167  gras_ddt_parse_col_pos=0;
168   SHOW_WHERE;
169 }
170 . { 
171   gras_ddt_parse_char_pos++;
172   gras_ddt_parse_col_pos++;
173   SHOW_WHERE;
174 }
175 %%
176 /* {space}+                { return(TOKEN_SPACE);} */
177
178 void gras_ddt_parse_dump(void) {
179   switch(gras_ddt_parse_tok_num) {
180   case GRAS_DDT_PARSE_TOKEN_LA      : {printf("TOKEN_LA ");break;}
181   case GRAS_DDT_PARSE_TOKEN_RA      : {printf("TOKEN_RA ");break;}
182   case GRAS_DDT_PARSE_TOKEN_WORD    : {printf("TOKEN_WORD ");break;}
183     /*  case GRAS_DDT_PARSE_TOKEN_SPACE   : {printf("TOKEN_SPACE ");break;}*/
184     /*  case GRAS_DDT_PARSE_TOKEN_COMMENT : {printf("TOKEN_COMMENT ");break;}*/
185   case GRAS_DDT_PARSE_TOKEN_NEWLINE : {printf("TOKEN_NEWLINE\n");return;}
186   case GRAS_DDT_PARSE_TOKEN_EMPTY : {printf("TOKEN_EMPTY\n");return;}
187   default             : {printf("Unknown token %d\n", gras_ddt_parse_tok_num);return;}
188   }
189   printf("-->%s<-- [line %d, pos %d]\n",yytext,gras_ddt_parse_line_pos,gras_ddt_parse_char_pos);
190   return;
191 }
192
193 int gras_ddt_parse_lex_n_dump(void) {
194   gras_ddt_parse_tok_num = gras_ddt_parse_lex();
195   /*  gras_ddt_parse_char_pos += strlen(yytext);*/
196   return(gras_ddt_parse_tok_num);
197 }
198
199 void  gras_ddt_parse_pointer_init(const char *file) {
200   gras_ddt_file_to_parse = fopen(file,"r");
201   gras_ddt_input_buffer = yy_create_buffer( gras_ddt_file_to_parse, 10 );
202   yy_switch_to_buffer(gras_ddt_input_buffer);
203
204   gras_ddt_parse_line_pos = 1;
205   gras_ddt_parse_char_pos = 0;
206   gras_ddt_parse_col_pos = 0;
207   gras_ddt_parse_tok_num = 0;
208 }
209
210 void  gras_ddt_parse_pointer_close(void) {
211   yy_delete_buffer(gras_ddt_input_buffer);
212   fclose(gras_ddt_file_to_parse);
213
214   gras_ddt_parse_line_pos = 1;
215   gras_ddt_parse_char_pos = 0;
216   gras_ddt_parse_tok_num = 0;
217 }
218
219
220 void  gras_ddt_parse_pointer_string_init(const char *string_to_parse) {
221   gras_ddt_input_buffer = yy_scan_string (string_to_parse);
222   definition = string_to_parse;
223   yy_switch_to_buffer(gras_ddt_input_buffer);
224
225   gras_ddt_parse_line_pos = 1;
226   gras_ddt_parse_char_pos = 0;
227   gras_ddt_parse_tok_num = 0;
228 }
229
230 void  gras_ddt_parse_pointer_string_close(void) {
231   yy_delete_buffer(gras_ddt_input_buffer);
232
233   gras_ddt_parse_line_pos = 1;
234   gras_ddt_parse_char_pos = 0;
235   gras_ddt_parse_tok_num = 0;
236
237   if (0)
238     yyunput('\0',NULL); /* fake a use of this function to calm gcc down */
239 }
240
241 /* Local variables:*/
242 /* mode: c */
243 /* End: */