boundy 0.3.0

data/lib/boundy/domain/builder.rb

@@ -0,0 +1,31 @@
+module Boundy
+  module Domain
+    module Builder
+    def self.builders
+      [
+        {
+          bounds: {
+            from: Boundy::Bound::Infinite::Below, 
+            to: Boundy::Bound
+          },
+          builder: Proc.new {|b,e| Boundy::Domain::Anterior.new(e) }
+        },
+        {
+          bounds: {
+            from: Boundy::Bound, 
+            to: Boundy::Bound
+          },
+          builder: Proc.new {|b,e| Boundy::Domain::Finite.new(b,e) }
+        },
+        {
+          bounds: {
+            from: Boundy::Bound, 
+            to: Boundy::Bound::Infinite::Above
+          },
+          builder: Proc.new {|b,e| Boundy::Domain::Posterior.new(b) }
+        }
+      ]
+    end
+    end
+  end
+end

data/lib/boundy/domain/comparator.rb

@@ -0,0 +1,26 @@
+require 'boundy/comparator'
+
+module Boundy
+  module Domain
+    class Comparator
+      include Boundy::Comparator
+
+      def initialize(datum, subject)
+        @datum = datum
+        @subject = subject
+      end
+
+      def after?
+        @subject.from > @datum && @subject.to >= @datum
+      end 
+
+      def before?
+        @subject.from <= @datum && @subject.to < @datum
+      end 
+
+      def within?
+        @subject.from <= @datum && @subject.to >= @datum
+      end 
+    end
+  end
+end

data/lib/boundy/domain/constrainer.rb

@@ -0,0 +1,21 @@
+require 'boundy/bound/constrainer'
+require 'boundy/domain'
+
+module Boundy
+  module Domain
+    class Constrainer
+      def initialize(me, other)
+        @me = me
+        @other = other
+      end
+
+
+      def constrain
+        from = Boundy::Bound::Constrainer.new(@me.from, @other.from)
+        to = Boundy::Bound::Constrainer.new(@me.to, @other.to)
+
+        Boundy::Domain.new(from.max, to.min)
+      end
+    end
+  end
+end

data/lib/boundy/domain/finite.rb

@@ -0,0 +1,64 @@
+require 'boundy/domain'
+
+module Boundy
+  module Domain
+    class Finite
+      def self.builder
+        {
+          bounds: {
+            from: Boundy::Bound, 
+            to: Boundy::Bound
+          },
+          builder: Proc.new {|b,e| self.new(b,e) }
+        }
+      end
+
+      include Domain::Plugin
+
+      def initialize(b,e)
+        case b
+        when Boundy::Bound
+          @from = b
+          @to = e
+        else
+          raise "I can't convert #{b.class.name} into a Boundy::Domain::Finite"
+        end
+        unless valid?
+          raise "Backlooking ranges aren't allowed.\n\nFROM: #{@from.inspect}\nTO: #{@to.inspect}"
+        end
+      end
+
+      def valid?
+        raise if from.nil?
+        raise if to.nil?
+        raise if from.class < Boundy::Bound::Infinite
+        raise if to.class < Boundy::Bound::Infinite
+
+        from <= to
+      end
+
+
+      def strictly_earlier?(subject)
+        @from.before?(subject)
+      end
+
+      def strictly_after?(subject)
+        @to.after?(subject)
+      end
+
+      def partially_after?(subject)
+        @from.after?(subject) && @to.within?(subject) 
+      end
+
+      def partially_before?(subject)
+        @from.within?(subject) && @to.before?(subject) 
+      end
+
+      def partially_within?(subject)
+        [:within?, :partially_before?, :partially_after?].any? do |m|
+          send(m, subject)
+        end
+      end
+    end
+  end
+end

data/lib/boundy/domain/posterior.rb

@@ -0,0 +1,43 @@
+require 'boundy/domain'
+require 'boundy/bound'
+require 'boundy/bound/infinite/below' 
+
+module Boundy
+  module Domain
+    class Posterior 
+      def self.builder
+        {
+          bounds: {
+            from: Boundy::Bound::Infinite::Below, 
+            to: Boundy::Bound
+          },
+          builder: Proc.new {|b,e| self.new(e)}
+        }
+      end
+
+      include Domain::Plugin
+
+      def initialize(datum)
+        if datum.nil?
+          raise
+        end
+
+        @from = Boundy::Bound::Infinite::Below.new
+        @to = case datum
+                when Boundy::Bound
+                  datum
+                else
+                  Boundy::Bound.new(datum)
+                end
+      end
+
+      def cute
+        "[-infinity, #{@to.datum}]"
+      end
+
+      def inspect
+        "#<#{self.class.name} bounded above by #{@to.inspect}>"
+      end
+    end
+  end
+end

data/lib/boundy/formatter.rb

@@ -0,0 +1,9 @@
+module Boundy
+  module Formatter
+    def sql
+      Boundy::Formatter::Sql
+    end
+  end
+end
+
+

data/lib/boundy/formatter/sql.rb

@@ -0,0 +1,26 @@
+require 'boundy'
+require 'boundy/formatter/sql/plugin'
+
+require 'punchout'
+
+require 'boundy/formatter/sql/factory'
+
+module Boundy
+  module Formatter
+    class Sql
+      def initialize(obj, name)
+        formatter_factory = Plugin.for(obj)
+        if formatter_factory.nil?
+          raise "No formatter registered for #{obj.class}: #{obj.inspect}"
+        end
+        @formatter = formatter_factory.build(obj, name)
+      end
+
+      def to_s
+        @formatter.to_s
+      end
+    end
+  end
+end
+
+require 'boundy/formatters/sql/domain'

data/lib/boundy/formatter/sql/domain.rb

@@ -0,0 +1,20 @@
+require 'boundy/formatter/sql/domain/plugin'
+
+module Boundy
+  module Formatter
+    class Sql
+      class Domain
+        def initialize(obj, name)
+          @formatter = Plugin.for(obj).new(obj,name)
+          if @formatter.nil?
+            raise "No formatter registered for #{obj.inspect}"
+          end
+        end
+
+        def to_s
+          @formatter.to_s
+        end
+      end
+    end
+  end
+end

data/lib/boundy/formatter/sql/domain/plugin.rb

@@ -0,0 +1,22 @@
+module Boundy
+  module Formatter
+    class Sql
+      class Domain
+        module Plugin
+          extend Punchout::Punchable
+          class << self
+            def included(base)
+              Boundy.logger.info "REGISTERING #{base} AS DOMAIN FORMATTER FOR #{base.type}"
+              matchable = Punchout::Matcher::Ancestry.new(base.type).punches(base)
+              puncher.add(matchable)
+            end
+
+            def for(obj)
+              punch(obj)
+            end
+          end
+        end
+      end
+    end
+  end
+end

data/lib/boundy/formatter/sql/factory.rb

@@ -0,0 +1,14 @@
+module Boundy
+  module Formatter
+    class Sql
+      class Factory
+        def initialize(klass)
+          @klass = klass
+        end
+        def build(obj, name)
+          @klass.new(obj, name)
+        end
+      end
+    end
+  end
+end

data/lib/boundy/formatter/sql/plugin.rb

@@ -0,0 +1,38 @@
+require 'boundy'
+
+require 'punchout'
+require 'boundy/formatter/sql/factory'
+
+module Boundy
+  module Formatter
+    class Sql
+      module Plugin
+        extend Punchout::Punchable
+        class << self
+
+          module FactoryMethods
+            def factory
+              @factory ||= Factory.new(self)
+            end
+          end
+
+          def included(base)
+            # XXX: This should really become an explicit include.
+            unless base.respond_to?(:factory)
+              base.instance_exec do
+                extend FactoryMethods
+              end
+            end
+            Boundy.logger.info "REGISTERING #{base} AS FORMATTER FOR #{base.type}"
+            matchable = Punchout::Matcher::Ancestry.new(base.type).punches(base.factory)
+            puncher.add(matchable)
+          end
+
+          def for(obj)
+            punch(obj)
+          end
+        end
+      end
+    end
+  end
+end

data/lib/boundy/formatters/bound.rb

@@ -0,0 +1,16 @@
+require 'punchout'
+require 'punchout/matcher/ancestry'
+
+module Boundy
+  module Formatters
+    module Bound
+      def initialize(bound)
+        @bound = bound
+      end
+
+      def to_s
+        @formatter.to_s
+      end
+    end
+  end
+end

data/lib/boundy/formatters/domain.rb

@@ -0,0 +1,12 @@
+require 'boundy/formatters/bound'
+
+module Boundy
+  module Formatters
+    module Domain
+      def initialize(domain)
+        @from = domain.from
+        @to = domain.to
+      end
+    end
+  end
+end

data/lib/boundy/formatters/fixnum.rb

@@ -0,0 +1,20 @@
+module Boundy
+  module Formatters
+    class Fixnum
+      def initialize(num, name)
+        @num = num
+      end
+
+      def self.type
+        ::Fixnum
+      end
+
+      include Boundy::Formatters::Bound
+      include Boundy::Formatter::Sql::Plugin
+
+      def to_s
+        @num
+      end
+    end
+  end
+end

data/lib/boundy/formatters/sql/bound.rb

@@ -0,0 +1,22 @@
+require 'boundy/bound'
+
+require 'boundy/formatter/sql/plugin'
+
+require 'boundy/formatters/bound'
+
+module Boundy::Formatters::Sql
+  class Bound
+    def self.type
+      Boundy::Bound
+    end
+
+    include Boundy::Formatters::Bound
+    include Boundy::Formatter::Sql::Plugin
+
+    def initialize(bound, name)
+      @formatter = Boundy::Formatter::Sql.new(bound.datum, name)
+      super(bound)
+    end
+  end
+end
+

data/lib/boundy/formatters/sql/domain.rb

@@ -0,0 +1,28 @@
+require 'boundy/formatter/sql/domain/plugin'
+
+require 'boundy/formatters/domain'
+
+module Boundy::Formatters::Sql
+  class Domain
+    def self.type
+      Boundy::Domain::Plugin
+    end
+
+    def initialize(domain, name)
+      @formatter = Boundy::Formatter::Sql::Domain::Plugin.for(domain).new(domain,name)
+      if @formatter.nil?
+        raise "No formatter registered for #{obj.inspect}"
+      end
+    end
+
+    include Boundy::Formatter::Sql::Plugin
+
+    def to_s
+      @formatter.to_s
+    end
+  end
+end
+
+require 'boundy/formatters/sql/domain/anterior'
+require 'boundy/formatters/sql/domain/finite'
+require 'boundy/formatters/sql/domain/posterior'

data/lib/boundy/formatters/sql/domain/anterior.rb

@@ -0,0 +1,23 @@
+require 'boundy/formatter/sql/domain/plugin'
+require 'boundy/domain/anterior'
+
+module Boundy::Formatters::Sql
+  class Domain
+    class Anterior
+      def self.type
+        Boundy::Domain::Anterior
+      end
+
+      include Boundy::Formatter::Sql::Domain::Plugin
+
+      def initialize(domain, name)
+        @name = name
+        @formatter = Boundy::Formatter::Sql.new(domain.from, name)
+      end
+
+      def to_s
+        "#{@name} >= '#{@formatter.to_s}'"
+      end
+    end
+  end
+end