3 #include "automaton_lexer.yy.c"
4 #include <xbt/automaton.h>
6 void yyerror(const char *s);
14 xbt_exp_label_t label;
33 %token <integer> LITT_ENT
34 %token <string> LITT_CHAINE
35 %token <real> LITT_REEL
47 automaton : NEVER LEFT_BRACE stateseq RIGHT_BRACE
51 | ID COLON { new_state($1, 1);} IF option FI SEMI_COLON stateseq
55 | CASE exp IMPLIES GOTO ID option { new_transition($5, $2);}
58 exp : LEFT_PAR exp RIGHT_PAR { $$ = $2; }
59 | exp OR exp { $$ = new_label(0, $1, $3); }
60 | exp AND exp { $$ = new_label(1, $1, $3); }
61 | NOT exp { $$ = new_label(2, $2); }
62 | CASE_TRUE { $$ = new_label(4); }
63 | ID { $$ = new_label(3, $1); }
70 void yyerror(const char *s){
71 fprintf (stderr, "%s\n", s);