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