alf-sql 0.15.0

data/CHANGELOG.md

@@ -0,0 +1,5 @@
+# 0.15.0 / FIX ME
+
+* Enhancements
+
+  * Birthday!

data/Gemfile

@@ -0,0 +1,13 @@
+source 'http://rubygems.org'
+
+group :runtime do
+  gem "sexpr", "~> 0.6.0"
+
+  gem "alf-core", path: "../alf-core"
+end
+
+group :development do
+  gem "awesome_print"
+  gem "rake", "~> 10.1"
+  gem "rspec", "~> 2.14"
+end

data/Gemfile.lock

@@ -0,0 +1,38 @@
+PATH
+  remote: ../alf-core
+  specs:
+    alf-core (0.15.0)
+      domain (~> 1.0)
+      myrrha (~> 3.0)
+      path (~> 1.3)
+      sexpr (~> 0.6.0)
+
+GEM
+  remote: http://rubygems.org/
+  specs:
+    awesome_print (1.2.0)
+    diff-lcs (1.2.4)
+    domain (1.0.0)
+    myrrha (3.0.0)
+      domain (~> 1.0)
+    path (1.3.3)
+    rake (10.1.0)
+    rspec (2.14.1)
+      rspec-core (~> 2.14.0)
+      rspec-expectations (~> 2.14.0)
+      rspec-mocks (~> 2.14.0)
+    rspec-core (2.14.7)
+    rspec-expectations (2.14.3)
+      diff-lcs (>= 1.1.3, < 2.0)
+    rspec-mocks (2.14.4)
+    sexpr (0.6.0)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  alf-core!
+  awesome_print
+  rake (~> 10.1)
+  rspec (~> 2.14)
+  sexpr (~> 0.6.0)

data/LICENCE.md

@@ -0,0 +1,22 @@
+# The MIT Licence
+
+    Copyright (c) 2013 - Bernard Lambeau
+
+    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/Manifest.txt

@@ -0,0 +1,12 @@
+sql.gemspec
+sql.noespec
+CHANGELOG.md
+Gemfile
+Gemfile.lock
+lib/**/*
+LICENCE.md
+Manifest.txt
+Rakefile
+README.md
+spec/**/*
+tasks/**/*

data/README.md

@@ -0,0 +1,52 @@
+# Alf::Sql
+
+[![Build Status](https://secure.travis-ci.org/alf-tool/alf-sql.png)](http://travis-ci.org/alf-tool/alf-sql)
+[![Dependency Status](https://gemnasium.com/alf-tool/alf-sql.png)](https://gemnasium.com/alf-tool/alf-sql)
+[![Code Climate](https://codeclimate.com/github/alf-tool/alf-sql.png)](https://codeclimate.com/github/alf-tool/alf-sql)
+
+An abstract SQL compiler for Alf expressions
+
+## Links
+
+* [http://github.com/alf-tool/alf](http://github.com/alf-tool/alf#synopsis)
+* [http://github.com/alf-tool/alf-sql](http://github.com/alf-tool/alf-sql#synopsis)
+* [http://github.com/alf-tool/alf-sequel](http://github.com/alf-tool/alf-sequel#synopsis)
+
+## Synopsis
+
+This sub-module provides an abstract SQL compiler for Alf expressions. It is
+NOT aimed at being used by end-users (the API illustrated below is considered
+private and may change at any time). Instead, it provides a basis for concrete
+translators converting the resulting SQL abstract syntax tree to a concrete SQL
+dialect through third-party libraries.
+
+See [alf-sequel](https://github.com/alf-tool/alf-sequel) for a translator built
+on top of [Sequel](http://sequel.rubyforge.org/).
+
+## Example
+
+```ruby
+require 'alf-sql'
+
+Alf.connect("sap.db") do |conn|
+  # Let parse some relational expression
+  expr = conn.parse{
+    restrict(suppliers, city: 'London')
+  }
+
+  # Translate to SQL
+  # (non-portable SQL output unless you require alf-sequel as well)
+  puts expr.to_sql
+  # => SELECT t1.sid, t1.name, t1.status, t1.city
+  #      FROM suppliers AS t1
+  #     WHERE t1.city = 'London'
+
+  # Alternatively (for translator implementers),
+  # compile to an abstract cog (cannot be iterated)
+  cog = Alf::Sql::Compiler.new.call(expr)
+
+  # Let see the SQL AST
+  puts cog.to_sexpr.inspect
+  # => [ :select_exp, [:select_list, ...] ]
+end
+```

data/Rakefile

@@ -0,0 +1,11 @@
+# We run tests by default
+task :default => :test
+
+#
+# Install all tasks found in tasks folder
+#
+# See .rake files there for complete documentation.
+#
+Dir["tasks/*.rake"].each do |taskfile|
+  load taskfile
+end

data/lib/alf-sql.rb

@@ -0,0 +1 @@
+require_relative "alf/sql"

data/lib/alf/algebra/operand.rb

@@ -0,0 +1,18 @@
+module Alf
+  module Algebra
+    module Operand
+
+      def to_sql
+        cog = to_cog
+        if cog.respond_to?(:to_sql)
+          cog.to_sql
+        else
+          Alf::Sql::Compiler.new.call(self).to_sql
+        end
+      rescue NotSupportedError => ex
+        raise NotSupportedError, "Unable to compile `#{self}` to SQL"
+      end
+
+    end # module Operand
+  end # module Algebra
+end # module Alf

data/lib/alf/predicate/nodes.rb

@@ -0,0 +1,20 @@
+require_relative 'nodes/expr'
+require_relative 'nodes/dyadic_comp'
+require_relative 'nodes/nadic_bool'
+require_relative 'nodes/tautology'
+require_relative 'nodes/contradiction'
+require_relative 'nodes/identifier'
+require_relative 'nodes/qualified_identifier'
+require_relative 'nodes/and'
+require_relative 'nodes/or'
+require_relative 'nodes/not'
+require_relative 'nodes/eq'
+require_relative 'nodes/neq'
+require_relative 'nodes/gt'
+require_relative 'nodes/gte'
+require_relative 'nodes/lt'
+require_relative 'nodes/lte'
+require_relative 'nodes/in'
+require_relative 'nodes/exists'
+require_relative 'nodes/literal'
+require_relative 'nodes/native'

data/lib/alf/predicate/nodes/and.rb

@@ -0,0 +1,11 @@
+module Alf
+  class Predicate
+    module And
+
+      def to_sql_operator
+        Sql::Expr::AND
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/contradiction.rb

@@ -0,0 +1,12 @@
+module Alf
+  class Predicate
+    module Contradiction
+
+      def to_sql(buffer)
+        buffer << Sql::Expr::FALSE
+        buffer
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/dyadic_comp.rb

@@ -0,0 +1,14 @@
+module Alf
+  class Predicate
+    module DyadicComp
+
+      def to_sql(buffer = "")
+        left.to_sql(buffer)
+        buffer << Sql::Expr::SPACE << to_sql_operator << Sql::Expr::SPACE
+        right.to_sql(buffer)
+        buffer
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/eq.rb

@@ -0,0 +1,11 @@
+module Alf
+  class Predicate
+    module Eq
+
+      def to_sql_operator
+        Sql::Expr::EQUAL
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/exists.rb

@@ -0,0 +1,14 @@
+module Alf
+  class Predicate
+    module Exists
+      include Expr
+
+      def to_sql(buffer)
+        buffer << Sql::Expr::EXISTS
+        last.to_sql(buffer)
+        buffer
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/expr.rb

@@ -0,0 +1,20 @@
+module Alf
+  class Predicate
+    module Expr
+
+      def to_sql_literal(buffer, value)
+        case value
+        when TrueClass
+          buffer << Sql::Expr::TRUE
+        when FalseClass
+          buffer << Sql::Expr::FALSE
+        when Integer, Float
+          buffer << value.to_s
+        else
+          buffer << Sql::Expr::QUOTE << value.to_s << Sql::Expr::QUOTE
+        end
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/gt.rb

@@ -0,0 +1,11 @@
+module Alf
+  class Predicate
+    module Gt
+
+      def to_sql_operator
+        Sql::Expr::GREATER
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/gte.rb

@@ -0,0 +1,11 @@
+module Alf
+  class Predicate
+    module Gte
+
+      def to_sql_operator
+        Sql::Expr::GREATER_OR_EQUAL
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/identifier.rb

@@ -0,0 +1,12 @@
+module Alf
+  class Predicate
+    module Identifier
+
+      def to_sql(buffer = "")
+        buffer << name.to_s
+        buffer
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/in.rb

@@ -0,0 +1,31 @@
+module Alf
+  class Predicate
+    module In
+
+      def subquery?
+        Sql::Expr === last
+      end
+
+      def subquery
+        subquery? ? last : nil
+      end
+
+      def to_sql(buffer = "")
+        identifier.to_sql(buffer)
+        buffer << Sql::Expr::SPACE << Sql::Expr::IN << Sql::Expr::SPACE
+        if subquery?
+          values.to_sql(buffer)
+        else
+          buffer << Sql::Expr::LEFT_PARENTHESE
+          values.each_with_index do |val,index|
+            buffer << Sql::Expr::COMMA << Sql::Expr::SPACE unless index==0
+            to_sql_literal(buffer, val)
+          end
+          buffer << Sql::Expr::RIGHT_PARENTHESE
+        end
+        buffer
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/literal.rb

@@ -0,0 +1,12 @@
+module Alf
+  class Predicate
+    module Literal
+
+      def to_sql(buffer = "")
+        to_sql_literal(buffer, value)
+        buffer
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/lt.rb

@@ -0,0 +1,11 @@
+module Alf
+  class Predicate
+    module Lt
+
+      def to_sql_operator
+        Sql::Expr::LESS
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/lte.rb

@@ -0,0 +1,11 @@
+module Alf
+  class Predicate
+    module Lte
+
+      def to_sql_operator
+        Sql::Expr::LESS_OR_EQUAL
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/nadic_bool.rb

@@ -0,0 +1,18 @@
+module Alf
+  class Predicate
+    module NadicBool
+
+      def to_sql(buffer = "")
+        each_with_index do |child, index|
+          next if index == 0
+          unless index == 1
+            buffer << Sql::Expr::SPACE << to_sql_operator << Sql::Expr::SPACE
+          end
+          child.to_sql(buffer)
+        end
+        buffer
+      end
+
+    end
+  end
+end

data/lib/alf/predicate/nodes/native.rb

@@ -0,0 +1,11 @@
+module Alf
+  class Predicate
+    module Native
+
+      def to_sql(buffer = "")
+        raise NotSupportedError, "Unable to compile native predicates to SQL"
+      end
+
+    end
+  end
+end