Project

General

Profile

Revision 17e1d0f4 src/parser_lustre.mly

View differences:

src/parser_lustre.mly
57 57

  
58 58
%token <string> STRING
59 59
%token AUTOMATON STATE UNTIL UNLESS RESTART RESUME LAST
60
%token STATELESS ASSERT OPEN QUOTE FUNCTION
60
%token ASSERT OPEN QUOTE FUNCTION
61 61
%token <string> IDENT
62 62
%token <string> UIDENT
63 63
%token TRUE FALSE
......
66 66
%token LBRACKET RBRACKET LCUR RCUR LPAR RPAR SCOL COL COMMA COLCOL 
67 67
%token AMPERAMPER BARBAR NOT POWER
68 68
%token IF THEN ELSE
69
%token UCLOCK DCLOCK PHCLOCK TAIL
70 69
%token MERGE FBY WHEN WHENNOT EVERY
71
%token NODE LET TEL RETURNS VAR IMPORTED SENSOR ACTUATOR WCET TYPE CONST
70
%token NODE LET TEL RETURNS VAR IMPORTED TYPE CONST
72 71
%token STRUCT ENUM
73 72
%token TINT TREAL TBOOL TCLOCK
74
%token RATE DUE
75 73
%token EQ LT GT LTE GTE NEQ
76 74
%token AND OR XOR IMPL
77 75
%token MULT DIV MOD
......
89 87
%left MERGE IF
90 88
%nonassoc ELSE
91 89
%right ARROW FBY
92
%left WHEN WHENNOT UCLOCK DCLOCK PHCLOCK
90
%left WHEN WHENNOT 
93 91
%right COLCOL
94 92
%right IMPL
95 93
%left OR XOR BARBAR

Also available in: Unified diff