start new example with parsing lex/yacc of automaton in promela

[simgrid.git] / examples / msg / mc / parserPromela.lex

diff --git a/examples/msg/mc/parserPromela.lex b/examples/msg/mc/parserPromela.lex
new file mode 100644 (file)
index 0000000..187d1ba
--- /dev/null
+++ b/examples/msg/mc/parserPromela.lex
@@ -0,0 +1,79 @@
+%option noyywrap
+
+%{
+
+
+#include <stdio.h>
+#include "automaton.h"
+#include "y.tab.h"
+  
+  extern YYSTYPE yylval;
+ 
+%}
+
+blancs       [ \t]+
+espace       [ ]+
+nouv_ligne   [ \n]
+
+chiffre      [0-9]
+entier       {chiffre}+
+reel         {entier}("."{entier})
+caractere    [a-zA-Z0-9_]
+
+numl         \n
+
+chaine       \"({caractere}*|\n|\\|\"|{espace}*)*\"
+
+commentaire  "/*"([^\*\/]*{nouv_ligne}*[^\*\/]*)*"*/"
+
+%%
+
+"never"      { printf("%s", yytext); return (NEVER); }
+"if"         { printf("%s", yytext); return (IF); }
+"fi"         { printf("%s", yytext); 
+               return (FI); }
+"->"         { printf("%s", yytext); return (IMPLIES); }
+"goto"       { printf("%s", yytext); return (GOTO); }
+"&&"         { printf("%s", yytext); return (AND); }
+"||"         { printf("%s", yytext); return (OR); }
+"!"          { printf("%s", yytext); return (NOT); }
+"("          { printf("%s", yytext); return (LEFT_PAR); }
+")"          { printf("%s", yytext); return (RIGHT_PAR); }
+"::"         { printf("%s", yytext); return (CASE); }
+":"          { printf("%s", yytext); return (COLON); }
+";"          { printf("%s", yytext); return (SEMI_COLON); }
+"1"          { printf("%s", yytext); return (CASE_TRUE); }
+"{"          { printf("%s", yytext); return (LEFT_BRACE); }
+"}"          { printf("%s", yytext); return (RIGHT_BRACE); }
+
+
+{commentaire}             { printf(" ");}
+
+{blancs}                  { printf("%s",yytext); }
+
+
+{reel}                    { printf("%s",yytext); 
+                            sscanf(yytext,"%lf",&yylval.real); 
+                            return (LITT_REEL); }
+
+{entier}                  { printf("%s",yytext); 
+                            sscanf(yytext,"%d",&yylval.integer); 
+                            return (LITT_ENT); }
+
+{chaine}                  { printf("%s",yytext);  
+                            yylval.string=(char *)malloc(strlen(yytext)+1);
+                            sscanf(yytext,"%s",yylval.string); 
+                            return (LITT_CHAINE); }
+
+[a-zA-Z]{caractere}*      { printf("%s",yytext); 
+                           yylval.string=(char *)malloc(strlen(yytext)+1);
+                           sscanf(yytext,"%s",yylval.string);
+                           return (ID); }
+                  
+{numl}                    { printf("\n"); }
+
+.                         { printf("caractère inconnu\n"); }
+
+%%
+
+