sqliterate 0.1.0

data/LICENSE

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2015 Emmanuel Bastien
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

data/lib/sqliterate.rb

@@ -0,0 +1,18 @@
+# coding: utf-8
+require 'polyglot'
+require 'treetop'
+
+require 'sqliterate/node/identify'
+require 'sqliterate/node/evaluate'
+require 'sqliterate/node/control'
+
+require 'sqliterate/grammar/comment'
+require 'sqliterate/grammar/space'
+require 'sqliterate/grammar/keywords'
+require 'sqliterate/grammar/identifier'
+require 'sqliterate/grammar/string'
+require 'sqliterate/grammar/literals'
+require 'sqliterate/grammar/operator'
+require 'sqliterate/grammar/expression'
+require 'sqliterate/grammar/query'
+require 'sqliterate/grammar/command'

data/lib/sqliterate/grammar/command.treetop

@@ -0,0 +1,13 @@
+module SQLiterate
+  grammar Command
+    include Query
+
+    rule commands
+      command r:( space ';' space command )*
+    end
+
+    rule command
+      query / space
+    end
+  end
+end

data/lib/sqliterate/grammar/comment.treetop

@@ -0,0 +1,15 @@
+module SQLiterate
+  grammar Comment
+    rule comment
+      c_comment / line_comment
+    end
+
+    rule line_comment
+      '--' [^\n]* "\n"?
+    end
+
+    rule c_comment
+      '/*' ( !'*/' (c_comment / . / "\n") )* '*/'
+    end
+  end
+end

data/lib/sqliterate/grammar/expression.treetop

@@ -0,0 +1,239 @@
+module SQLiterate
+  grammar Expression
+    include Space
+    include Identifier
+    include Keywords
+    include Literals
+    include Operator
+
+    rule scalar_expression
+      gen_expression
+    end
+
+    rule gen_expression
+      h:( gen_operator space )*
+      gen_value
+      r:( o:( space gen_operator )+ space gen_value )*
+      t:( space gen_operator )*
+      <Node::GenExpression>
+    end
+
+    rule gen_value
+      literal_value <Node::GenValue::Literal>
+      /
+      function_call <Node::GenValue::Function>
+      /
+      field_selection r:( space '['
+        space range_expression space
+      ']' )+ <Node::GenValue::Subscript>
+      /
+      field_selection <Node::GenValue::Field>
+    end
+
+    rule function_call
+      type_cast
+      /
+      function_name space '('
+        space function_params space
+      ')' <Node::FunctionCall>
+    end
+
+    rule type_cast
+      cast_kw space '('
+        space scalar_expression space as_kw space type_name space
+      ')' <Node::TypeCast>
+    end
+
+    rule function_name
+      qualified_name / identifier
+    end
+
+    rule function_params
+      aggregate_expression
+      /
+      expressions_list
+      /
+      void_expression
+    end
+
+    rule void_expression
+      space <Node::VoidExpression>
+    end
+
+    rule aggregate_expression
+      all_columns <Node::AllColumns>
+      /
+      (aggregate_specifier space)? expressions_list space order_by_clause
+      <Node::AggregateExpression>
+    end
+
+    rule aggregate_specifier
+      all_kw / distinct_kw
+    end
+
+    rule ordering_specifier
+      ( asc_kw / desc_kw )?
+      ( required_space nulls_kw required_space ( first_kw / last_kw ) )?
+    end
+
+    rule order_by_clause
+      ( order_by_kw space expressions_list space ordering_specifier / space )
+      <Node::OrderByClause>
+    end
+
+    rule expressions_list
+      gen_expression r:( space ',' space gen_expression)* <Node::ExpressionsList>
+    end
+
+    rule range_expression
+      b:scalar_expression space ':' space e:scalar_expression <Node::RangeExpression>
+      /
+      scalar_expression
+    end
+
+    rule field_selection
+      row_value space '.' space field_identifier <Node::FieldSelection>
+      /
+      row_value
+    end
+
+    rule field_identifier
+      all_fields / identifier
+    end
+
+    rule row_value
+      '(' query_expression ')' <Node::RowValue::Query>
+      /
+      '(' space gen_expression space ')' <Node::RowValue::Expression>
+      /
+      positional_param <Node::RowValue::Positional>
+      /
+      identifier <Node::RowValue::Identifier>
+    end
+
+    rule query_expression
+      query_value r:( space set_operation space query_value )*
+      <Node::QueryExpression>
+    end
+
+    rule set_operation
+      ( union_kw / intersect_kw / except_kw ) ( required_space all_kw )?
+    end
+
+    rule query_value
+      '(' space query_expression space ')' <Node::QueryValue::Expression>
+      /
+      select_query <Node::QueryValue::Select>
+    end
+
+    rule select_query
+      select_kw required_space
+      distinct_clause space
+      select_list space
+      table_expression space
+      order_by_clause
+      <Node::SelectQuery>
+    end
+
+    rule distinct_clause
+      aggregate_specifier (
+        required_space on_kw required_space '(' space expressions_list space ')'
+      )?
+      /
+      space
+    end
+
+    rule select_list
+      all_columns / named_expressions_list
+    end
+
+    rule named_expressions_list
+      named_expression r:( space ',' space named_expression)*
+      <Node::NamedExpressionsList>
+    end
+
+    rule named_expression
+      gen_expression ( space (as_kw space)? column_name )? <Node::NamedExpression>
+    end
+
+    rule table_reference
+      (table_spec space (as_kw space)? table_name space column_list?
+      /
+      qualified_name) <Node::TableReference>
+    end
+
+    rule all_columns
+      '*' <Node::AllColumns>
+    end
+
+    rule table_expression
+      from_clause space where_clause space group_by_clause <Node::TableExpression>
+    end
+
+    rule from_clause
+      (from_kw required_space table_references / space) <Node::FromClause>
+    end
+
+    rule where_clause
+      where_kw required_space scalar_expression / space
+    end
+
+    rule group_by_clause
+      group_by_kw required_space expressions_list space having_clause / space
+    end
+
+    rule having_clause
+      having_kw required_space scalar_expression / space
+    end
+
+    rule table_references
+      table_joins r:( space ',' space table_joins )* <Node::TableReferences>
+    end
+
+    rule table_joins
+      table_reference r:( space joined_table )* <Node::TableJoins>
+    end
+
+    rule table_reference
+      (table_spec space (as_kw space)? table_name space column_list?
+      /
+      qualified_name) <Node::TableReference>
+    end
+
+    rule table_spec
+      '(' space query_expression space ')' <Node::TableSpec::Query>
+      /
+      '(' space table_joins space ')' <Node::TableSpec::Joins>
+      /
+      qualified_name <Node::TableSpec::Table>
+    end
+
+    rule joined_table
+      natural_join / predicate_join / columns_join
+    end
+
+    rule natural_join
+      natural_kw space join_type space join_kw space table_reference <Node::Join>
+    end
+
+    rule predicate_join
+      join_type space join_kw space table_reference space on_kw space scalar_expression <Node::Join>
+    end
+
+    rule columns_join
+      join_type space join_kw space table_reference space using_kw space column_list <Node::Join>
+    end
+
+    rule join_type
+      (left_kw / right_kw / full_kw) (space outer_kw)?
+      /
+      inner_kw
+      /
+      space
+    end
+
+    rule column_list
+      '(' column_name r:( space ',' space column_name)* ')'
+    end
+  end
+end

data/lib/sqliterate/grammar/identifier.treetop

@@ -0,0 +1,45 @@
+module SQLiterate
+  grammar Identifier
+    include Keywords
+
+    rule identifier
+      literal_identifier / quoted_identifier
+    end
+
+    rule literal_identifier
+      !keyword [\p{Alpha}_] [\p{Alnum}_$]*  <Node::LiteralIdentifier>
+    end
+
+    rule quoted_identifier
+      '"' c:( identifier_char )* '"' <Node::QuotedIdentifier>
+    end
+
+    rule identifier_char
+      '""' <Node::IdentifierChar::Quote>
+      /
+      [^"] <Node::IdentifierChar::Text>
+    end
+
+    rule qualified_name
+      schema_name '.' identifier <Node::QualifiedName>
+      /
+      table_name
+    end
+
+    rule schema_name
+      identifier
+    end
+
+    rule table_name
+      identifier
+    end
+
+    rule column_name
+      identifier
+    end
+
+    rule all_fields
+      '*' <Node::AllFields>
+    end
+  end
+end

data/lib/sqliterate/grammar/keywords.treetop

@@ -0,0 +1,255 @@
+module SQLiterate
+  grammar Keywords
+    rule keyword
+      with_kw / as_kw / select_kw / from_kw / join_kw / inner_kw / outer_kw /
+      left_kw / right_kw / full_kw / natural_kw / on_kw / using_kw /
+      where_kw / not_kw / and_kw / or_kw / true_kw / false_kw /
+      is_kw / isnull_kw / notnull_kw / in_kw / between_kw / overlaps_kw /
+      like_kw / ilike_kw / similar_kw / null_kw / order_kw / by_kw /
+      desc_kw / asc_kw / all_kw / distinct_kw / cast_kw /
+      bigint_kw / boolean_kw / double_kw / float_kw / int_kw / real_kw /
+      smallint_kw / string_kw / timestamp_kw / tinyint_kw / integer_kw /
+      group_kw / having_kw / nulls_kw / first_kw / last_kw / union_kw /
+      intersect_kw / except_kw
+    end
+
+    rule type_name
+      bigint_kw / boolean_kw / double_kw / float_kw /
+      int_kw / real_kw / smallint_kw / string_kw /
+      timestamp_kw / tinyint_kw / integer_kw
+      <Node::TypeName>
+    end
+
+    rule kw_sep
+      ![\p{Alpha}_]
+    end
+
+    rule with_kw
+      [wW] [iI] [tT] [hH] kw_sep
+    end
+
+    rule as_kw
+      [aA] [sS] kw_sep
+    end
+
+    rule select_kw
+      [sS] [eE] [lL] [eE] [cC] [tT] kw_sep
+    end
+
+    rule from_kw
+      [fF] [rR] [oO] [mM] kw_sep
+    end
+
+    rule join_kw
+      [jJ] [oO] [iI] [nN] kw_sep
+    end
+
+    rule inner_kw
+      [iI] [nN] [nN] [eE] [rR] kw_sep
+    end
+
+    rule outer_kw
+      [oO] [uU] [tT] [eE] [rR] kw_sep
+    end
+
+    rule left_kw
+      [lL] [eE] [fF] [tT] kw_sep
+    end
+
+    rule right_kw
+      [rR] [iI] [gG] [hH] [tT] kw_sep
+    end
+
+    rule full_kw
+      [fF] [uU] [lL] [lL] kw_sep
+    end
+
+    rule natural_kw
+      [nN] [aA] [tT] [uU] [rR] [aA] [lL] kw_sep
+    end
+
+    rule on_kw
+      [oO] [nN] kw_sep
+    end
+
+    rule using_kw
+      [uU] [sS] [iI] [nN] [gG] kw_sep
+    end
+
+    rule where_kw
+      [wW] [hH] [eE] [rR] [eE] kw_sep
+    end
+
+    rule not_kw
+      [nN] [oO] [tT] kw_sep
+    end
+
+    rule and_kw
+      [aA] [nN] [dD] kw_sep
+    end
+
+    rule or_kw
+      [oO] [rR] kw_sep
+    end
+
+    rule true_kw
+      [tT] [rR] [uU] [eE] kw_sep
+    end
+
+    rule false_kw
+      [fF] [aA] [lL] [sS] [eE] kw_sep
+    end
+
+    rule is_kw
+      [iI] [sS] kw_sep
+    end
+
+    rule isnull_kw
+      [iI] [sS] [nN] [uU] [lL] [lL] kw_sep
+    end
+
+    rule notnull_kw
+      [nN] [oO] [tT] [nN] [uU] [lL] [lL] kw_sep
+    end
+
+    rule in_kw
+      [iI] [nN] kw_sep
+    end
+
+    rule between_kw
+      [bB] [eE] [tT] [wW] [eE] [eE] [nN] kw_sep
+    end
+
+    rule overlaps_kw
+      [oO] [vV] [eE] [rR] [lL] [aA] [pP] [sS] kw_sep
+    end
+
+    rule like_kw
+      [lL] [iI] [kK] [eE] kw_sep
+    end
+
+    rule ilike_kw
+      [iI] [lL] [iI] [kK] [eE] kw_sep
+    end
+
+    rule similar_kw
+      [sS] [iI] [mM] [iI] [lL] [aA] [rR] kw_sep
+    end
+
+    rule null_kw
+      [nN] [uU] [lL] [lL] kw_sep
+    end
+
+    rule order_kw
+      [oO] [rR] [dD] [eE] [rR] kw_sep
+    end
+
+    rule by_kw
+      [bB] [yY] kw_sep
+    end
+
+    rule order_by_kw
+      order_kw required_space by_kw
+    end
+
+    rule desc_kw
+      [dD] [eE] [sS] [cC] kw_sep
+    end
+
+    rule asc_kw
+      [aA] [sS] [cC] kw_sep
+    end
+
+    rule all_kw
+      [aA] [lL] [lL] kw_sep
+    end
+
+    rule distinct_kw
+      [dD] [iI] [sS] [tT] [iI] [nN] [cC] [tT] kw_sep
+    end
+
+    rule cast_kw
+      [cC] [aA] [sS] [tT] kw_sep
+    end
+
+    rule bigint_kw
+      [bB] [iI] [gG] [iI] [nN] [tT] kw_sep
+    end
+
+    rule boolean_kw
+      [bB] [oO] [oO] [lL] [eE] [aA] [nN] kw_sep
+    end
+
+    rule double_kw
+      [dD] [oO] [uU] [bB] [lL] [eE] kw_sep
+    end
+
+    rule real_kw
+      [rR] [eE] [aA] [lL] kw_sep
+    end
+
+    rule float_kw
+      [fF] [lL] [oO] [aA] [tT] kw_sep
+    end
+
+    rule int_kw
+      [iI] [nN] [tT] kw_sep
+    end
+
+    rule integer_kw
+      [iI] [nN] [tT] [eE] [gG] [eE] [rR] kw_sep
+    end
+
+    rule smallint_kw
+      [sS] [mM] [aA] [lL] [lL] [iI] [nN] [tT] kw_sep
+    end
+
+    rule string_kw
+      [sS] [tT] [rR] [iI] [nN] [gG] kw_sep
+    end
+
+    rule timestamp_kw
+      [tT] [iI] [mM] [eE] [sS] [tT] [aA] [mM] [pP] kw_sep
+    end
+
+    rule tinyint_kw
+      [tT] [iI] [nN] [yY] [iI] [nN] [tT] kw_sep
+    end
+
+    rule group_kw
+      [gG] [rR] [oO] [uU] [pP] kw_sep
+    end
+
+    rule group_by_kw
+      group_kw required_space by_kw
+    end
+
+    rule having_kw
+      [hH] [aA] [vV] [iI] [nN] [gG] kw_sep
+    end
+
+    rule nulls_kw
+      [nN] [uU] [lL] [lL] [sS] kw_sep
+    end
+
+    rule first_kw
+      [fF] [iI] [rR] [sS] [tT] kw_sep
+    end
+
+    rule last_kw
+      [lL] [aA] [sS] [tT] kw_sep
+    end
+
+    rule union_kw
+      [uU] [nN] [iI] [oO] [nN] kw_sep
+    end
+
+    rule intersect_kw
+      [iI] [nN] [tT] [eE] [rR] [sS] [eE] [cC] [tT] kw_sep
+    end
+
+    rule except_kw
+      [eE] [xX] [cC] [eE] [pP] [tT] kw_sep
+    end
+  end
+end