7 #include "parserPromela.tab.hacc"
19 reel {entier}("."{entier})
20 caractere [a-zA-Z0-9_]
24 chaine \"({caractere}*|\n|\\|\"|{espace}*)*\"
26 commentaire "/*"([^\*\/]*{nouv_ligne}*[^\*\/]*)*"*/"
30 "never" { return (NEVER); }
33 "->" { return (IMPLIES); }
34 "goto" { return (GOTO); }
35 "&&" { return (AND); }
38 "(" { return (LEFT_PAR); }
39 ")" { return (RIGHT_PAR); }
40 "::" { return (CASE); }
41 ":" { return (COLON); }
42 ";" { return (SEMI_COLON); }
43 "1" { return (CASE_TRUE); }
44 "{" { return (LEFT_BRACE); }
45 "}" { return (RIGHT_BRACE); }
53 {reel} { sscanf(yytext,"%lf",&yylval.real);
56 {entier} { sscanf(yytext,"%d",&yylval.integer);
59 {chaine} { yylval.string=(char *)malloc(strlen(yytext)+1);
60 sscanf(yytext,"%s",yylval.string);
61 return (LITT_CHAINE); }
63 [a-zA-Z]{caractere}* { yylval.string=(char *)malloc(strlen(yytext)+1);
64 sscanf(yytext,"%s",yylval.string);