sql.jison

%lex

%options case-insensitive

%%

\s+                    /* skip whitespace */
'SELECT'               return 'SELECT'
'*'                    return '*'
'WHERE'                return 'WHERE'
'LIKE'                 return 'LIKE'
'ORDER'                return 'ORDER'
'BY'                   return 'BY'
'ASC'                  return 'ASC'
'DESC'                 return 'DESC'
'WHERE'                return 'WHERE'
'AND'                  return 'AND'
'OR'                   return 'OR'
'NOT'                  return 'NOT'
'INSERT'               return 'INSERT'
'VALUES'               return 'VALUES'
'UPDATE'               return 'UPDATE'
'SET'                  return 'SET'
'NULL'                 return 'NULLX'
'IS'                   return 'IS'
'NOT'                  return 'NOT'
'('                    return '('
')'                    return ')'
'>='                   return 'COMPARISON'
'<='                   return 'COMPARISON'
'>'                    return 'COMPARISON'
'<'                    return 'COMPARISON'
'=='                   return 'COMPARISON'
'='                    return '='
(true|false)\b         return 'BOOLEAN'
[a-zA-Z_][a-zA-Z0-9_]* return 'NAME'
[0-9]+(\.[0-9]+)?      return 'NUM'
\'[^'\n]*\'            return 'STRING'
\"[^'\n]*\"            return 'STRING'
','                    return ','
';'                    return ';'
<<EOF>>                return 'EOF'

/lex

%left 'OR'
%left 'AND'
%left 'NOT'
%left '+' '-'
%left '*' '/'
%left '^'
%right '!'
%right '%'
%left UMINUS

%start sql

%% /* language grammar */

sql
    : manipulative_statement EOF
      { return $1; }
    | manipulative_statement ';' EOF
      { return $1; }
    ;

manipulative_statement
    : select_statement
    | insert_statement
    | update_statement_searched
    ;

select_statement
    : SELECT selection table_exp
      { $$ = { type: $1, selection: $2, clause: $3}; }
    ;

selection
    : '*'
    ;

table_exp
    : opt_where_clause opt_order_by_clause
      { $$ = { where: $1, orderBy: $2}; }
    ;

opt_where_clause
    :
      { $$ = null; }
    | where_clause
    ;

where_clause
    : WHERE search_condition
      { $$ = $2; }
    ;

search_condition
    : search_condition OR search_condition
      { $$ = { type: 'OR', condition: $1, condition_another: $3}; }
    | search_condition AND search_condition
      { $$ = { type: 'AND', condition: $1, condition_another: $3}; }
    | NOT search_condition
      { $$ = { type: 'NOT', condition: $2}; }
    | '(' search_condition ')'
      { $$ = $2; }
    | predicate
    ;

predicate
    : comparison_predicate
      { $$ = { type: 'COMPARISON', predicate: $1}; }
    | between_predicate
      { $$ = { type: 'BETWEEN', predicate: $1}; }
    | like_predicate
      { $$ = { type: 'LIKE', predicate: $1}; }
    | test_for_null
      { $$ = { type: 'TEST_NULL', predicate: $1}; }
    ;

comparison_predicate
    : scalar_exp COMPARISON scalar_exp
      { $$ = [$2, $1, $3]; }
    ;

between_predicate
    : scalar_exp NOT BETWEEN scalar_exp AND scalar_exp
      { $$ = [$1, $4, $6]; }
    | scalar_exp BETWEEN scalar_exp AND scalar_exp
      { $$ = ['NOT', $1, $3, $5]; }
;

like_predicate
    : scalar_exp LIKE atom
      { $$ = [$1, $3]; }
    ;

test_for_null
    : column_ref IS NOT NULLX
      { $$ = ['NOT', $1[1]]}
    | column_ref IS NULLX
      { $$ = [$1[1]]}
    ;

opt_order_by_clause
    :
      { $$ = null; }
    | ORDER BY ordering_spec_commalist
      { $$ = $3; }
    ;

ordering_spec_commalist:
    ordering_spec
      { $$ = [$1]; }
    |	ordering_spec_commalist ',' ordering_spec
      { $1.push($3); $$ = $1; }
    ;

ordering_spec
    : column_ref opt_asc_desc
      { $$ = [$1[1], $2]}
    ;

opt_asc_desc
    :
      { $$ = 'ASC'; }
    | ASC
    | DESC
    ;

insert_statement
    : INSERT '(' column_commalist ')' values_or_query_spec
    { $$ = {type: $1, keyList: $3, valueList: $5}; }
    ;

column_commalist
    : column_ref
      { $$ = [$1[1]]; }
    | column_commalist ',' column_ref
      { $1.push($3[1]); $$ = $1; }
    ;

values_or_query_spec
    : VALUES '(' insert_atom_commalist ')'
      { $$ = $3; }
    ;

insert_atom_commalist
    : insert_atom
      { $$ = [$1]; }
    | insert_atom_commalist ',' insert_atom
      { $1.push($3); $$ = $1; }
    ;

insert_atom
    : atom
    | NULLX
      { $$ = null; }
    ;

update_statement_searched
    : UPDATE SET assignment_commalist opt_where_clause
      { $$ = {type: $1, assignment: $3, condition: $4}; }
    ;

assignment_commalist
    : assignment
      { $$ = [$1]; }
    | assignment_commalist ',' assignment
      { $1.push($3); $$ = $1; }
    ;

assignment
    : column_ref '=' atom
      { $$ = [$1[1], $3]; }
    | column_ref '=' NULLX
      { $$ = [$1[1], null]; }
    ;


scalar_exp
    : column_ref
    | atom
    ;

column_ref
    : NAME
      { $$ = ['COLUMN', $1]; }
    ;

atom
    : literal
    ;

literal
    : STRING
      { $$ = $1.replace(/^\'|\'$/g, '').replace(/^\"|\"$/g, ''); }
    | NUM
      { $$ = parseFloat($1); }
    | BOOLEAN
      { $$ = $1.toUpperCase() === 'TRUE' ? true : false; }
    ;