Project

General

Profile

Revision f9f06e7d src/parsers/lexer_lustre.mll

View differences:

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