Project

General

Profile

Revision 17e1d0f4 src/lexerLustreSpec.mll

View differences:

src/lexerLustreSpec.mll
25 25
  create_hashtable 20 [
26 26
  (* "true", TRUE; *)
27 27
  (* "false", FALSE; *)
28
  "stateless", STATELESS;
29 28
  "if", IF;
30 29
  "then", THEN;
31 30
  "else", ELSE;
......
41 40
  "returns", RETURNS;
42 41
  "var", VAR;
43 42
  "imported", IMPORTED;
44
  "wcet", WCET;
45 43
  "int", TINT;
46 44
  "bool", TBOOL;
47 45
  (* "float", TFLOAT; *)
48 46
  "real", TREAL;
49 47
  "clock", TCLOCK;
50 48
  "not", NOT;
51
  "tail", TAIL;
52 49
  "and", AND;
53 50
  "or", OR;
54 51
  "xor", OR;

Also available in: Unified diff