aboutsummaryrefslogtreecommitdiff
path: root/lib/parser.mly
blob: e6bcb6dbc3c29a3f68884f56b1770c58da22d575 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
%{
  open Ast_types
%}
%token COMMA
%token INCREMENT
%token <string> IDENTIFIER
%token UUIDV4
%token NEWLINE
%token SEMICOLON
%token NAME
%token COLON
%token DOT
%token EOF
%token INTSYMBOL 
%token <int> INT
%token LBRACE
%token RBRACE
%token EMAIL
%token <string> STRING
%start <ast_table option > prog 
%% 

prog: 
  | e = expr; EOF { Some e }
  ;

id_or_other:
  | IDENTIFIER { $1 }
  | NAME { "name" }
  | UUIDV4 { "uuidv4" }
  | INCREMENT { "increment" }
  | EMAIL { "email" }


expr:
  | tbl = id_or_other; LBRACE; amount = INT; RBRACE; COLON; r = row; NEWLINE; e = expr { Table (tbl, amount, r, e) }
  | tbl = id_or_other; LBRACE; amount = INT; RBRACE; COLON; r = row; SEMICOLON; e = expr { Table (tbl,amount, r, e) }
  | tbl = id_or_other; LBRACE; amount = INT; RBRACE; COLON; r = row { Table (tbl,amount, r, End) }
  ;

row: 
  | row_title = id_or_other; parent = id_or_other; DOT; parent_id = id_or_other; COMMA; r = row { Foreign (parent,parent_id,row_title, r) }
  | row_title = id_or_other; parent = id_or_other; DOT; parent_id = id_or_other; { Foreign (parent,parent_id,row_title, End) }

  | row_title = id_or_other; UUIDV4; COMMA; r = row { Uuidv4 (row_title, r) }
  | row_title = id_or_other; UUIDV4 { Uuidv4 (row_title, End) }

  | row_title = id_or_other; LBRACE; union = union_fields; RBRACE; COMMA; r = row { List (row_title, union, r) }
  | row_title = id_or_other; LBRACE; union = union_fields; RBRACE { List (row_title, union, End) }

  | row_title = id_or_other; NAME; COMMA; r = row { Name (row_title, r) }
  | row_title = id_or_other; NAME { Name (row_title, End) }

  | row_title = id_or_other; EMAIL; COMMA; r = row { Email (row_title, r) }
  | row_title = id_or_other; EMAIL { Email (row_title, End) }

  | row_title = id_or_other; INCREMENT; COMMA; r = row { Increment (row_title, r) }
  | row_title = id_or_other; INCREMENT { Increment (row_title, End) }

  | row_title = id_or_other; const = STRING; COMMA; r = row { Const (row_title, const, r) }
  | row_title = id_or_other; const = STRING { Const (row_title, const, End) }

  | row_title = id_or_other; INTSYMBOL;LBRACE;min = INT;COMMA;max = INT;RBRACE;COMMA; r = row { Int (row_title,min,max,r) }
  | row_title = id_or_other; INTSYMBOL;LBRACE;min = INT;COMMA;max = INT;RBRACE; { Int (row_title,min,max,End) }
  ;

union_fields: 
  vl = separated_list(COMMA, STRING) { vl }
  ;