4 #include "automatonparse_promela.h"
13 xbt_exp_label_t label;
32 %token <integer> LITT_ENT
33 %token <string> LITT_CHAINE
34 %token <real> LITT_REEL
46 automaton : NEVER LEFT_BRACE stateseq RIGHT_BRACE
50 | ID COLON { new_state($1, 1);} IF option FI SEMI_COLON stateseq
54 | CASE exp IMPLIES GOTO ID option { new_transition($5, $2);}
57 exp : LEFT_PAR exp RIGHT_PAR { $$ = $2; }
58 | exp OR exp { $$ = new_label(0, $1, $3); }
59 | exp AND exp { $$ = new_label(1, $1, $3); }
60 | NOT exp { $$ = new_label(2, $2); }
61 | CASE_TRUE { $$ = new_label(4); }
62 | ID { $$ = new_label(3, $1); }
67 int yyerror(char *s) {
68 fprintf(stderr, "%s\n", s);