Revision f9f06e7d src/parsers/lexer_lustre.mll
src/parsers/lexer_lustre.mll | ||
---|---|---|
61 | 61 |
"contract", CONTRACT; |
62 | 62 |
"lib", LIB; |
63 | 63 |
"prototype", PROTOTYPE; |
64 |
"ensure", ENSURE; |
|
65 |
"require", REQUIRE; |
|
66 |
(* "observer", OBSERVER; *) |
|
67 |
"invariant", INVARIANT; |
|
68 |
"mode", MODE; |
|
69 |
"assume", ASSUME; |
|
70 |
"contract", CONTRACT; |
|
71 |
"guarantees", GUARANTEES; |
|
72 |
"exists", EXISTS; |
|
73 |
"forall", FORALL; |
|
74 |
|
|
64 | 75 |
"c_code", CCODE; (* not sure how it is used *) |
65 | 76 |
"matlab", MATLAB; (* same as above *) |
66 | 77 |
] |
Also available in: Unified diff