simplesqlparse.mly

   1 %{
   2 open Simplesqlcommon
   3 ;;
   4
   5
   6 %}
   7
   8 %token Ignore_token
   9 %token <string> Ident
  10 %token <string> Str
  11 %token <string> Num
  12 %token LParen RParen Comma Sep Eof Create Table Insert Into Values
  13
  14 %start sqlcmdsep
  15 %type <bool> sqlcmdsep
  16
  17 %%
  18
  19 sqlcmdsep:
  20   sqlcmd Sep
  21     { !Simplesqlcommon.execute_sql_command_val $1
  22     ; false
  23     }
  24 | sqlcmd Eof
  25     { !Simplesqlcommon.execute_sql_command_val $1
  26     ; true
  27     }
  28 | Eof
  29     { true }
  30 ;
  31
  32 sqlcmd:
  33   Create Table Ident LParen colspeclist RParen
  34     { Create_table ($3, $5) }
  35 | Insert Into Ident LParen identlist1 RParen Values LParen sqlexprlist RParen
  36     { Insert ($3, $5, $9) }
  37 | Ignore_token
  38     { Ignore_command }
  39 ;
  40
  41 colspeclist:
  42   colspec Comma colspeclist
  43     { $1 :: $3 }
  44 | colspec
  45     { [ $1 ] }
  46 ;
  47
  48 colspec:
  49   Ident Ident optcolspecsize
  50     { ($1, $2, $3) }
  51 ;
  52
  53 optcolspecsize:
  54     { None }
  55 | colspecsize
  56     { Some $1 }
  57 ;
  58
  59 colspecsize:
  60   LParen Num RParen
  61     { ((int_of_sqlnum $2), 0) }
  62 | LParen Num Comma Num RParen
  63     { ((int_of_sqlnum $2), (int_of_sqlnum $4)) }
  64 ;
  65
  66 identlist1:
  67   Ident Comma identlist1
  68     { $1 :: $3 }
  69 | Ident
  70     { [ $1 ] }
  71 ;
  72
  73 sqlexprlist:
  74   sqlexpr Comma sqlexprlist
  75     { $1 :: $3 }
  76 | sqlexpr
  77     { [ $1 ] }
  78 ;
  79
  80 sqlexpr:
  81   Ident
  82     { SEIdent $1 }
  83 | Num
  84     { let (a, b) = split_number $1 in SENum (a, b) }
  85 | Str
  86     { SEStr $1 }
  87 | Ident LParen sqlexprlist RParen
  88     { SECall ($1, $3) }
  89 ;
  90