veritas 0.0.3 → 0.0.4

data/spec/unit/veritas/{logic → function}/proposition/equal_value_spec.rb

@@ -1,10 +1,12 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
-describe Logic::Proposition, '#==' do
+describe Function::Proposition, '#==' do
   subject { object == other }
 
-  let(:described_class) { Class.new(Logic::Proposition) }
-  let(:object)          { described_class.new           }
+  let(:described_class) { Class.new(Function::Proposition) }
+  let(:object)          { described_class.new              }
 
   context 'with the same object' do
     let(:other) { object }
@@ -27,7 +29,7 @@ describe Logic::Proposition, '#==' do
   end
 
   context 'with a different class' do
-    let(:other) { Class.new(Logic::Proposition).new }
+    let(:other) { Class.new(Function::Proposition).new }
 
     it { should be(false) }
 

data/spec/unit/veritas/function/proposition/hash_spec.rb

@@ -0,0 +1,14 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Function::Proposition, '#hash' do
+  subject { object.hash }
+
+  let(:described_class) { Class.new(Function::Proposition) }
+  let(:object)          { described_class.new              }
+
+  it_should_behave_like 'a hash method'
+
+  it { should == described_class.hash }
+end

data/spec/unit/veritas/function/proposition/inspect_spec.rb

@@ -0,0 +1,16 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Function::Proposition, '#inspect' do
+  subject { object.inspect }
+
+  let(:described_class) { Class.new(Function::Proposition) }
+  let(:object)          { described_class.new              }
+
+  before do
+    described_class.stub!(:name).and_return('Veritas::Function::Proposition')
+  end
+
+  specify { expect { subject }.to raise_error(NotImplementedError, "#{described_class.name}.call must be implemented") }
+end

data/spec/unit/veritas/{logic → function}/proposition/inverse_spec.rb

@@ -1,9 +1,11 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
-describe Logic::Proposition, '#inverse' do
+describe Function::Proposition, '#inverse' do
   subject { object.inverse }
 
-  let(:described_class)  { Class.new(Logic::Proposition)                        }
+  let(:described_class)  { Class.new(Function::Proposition)                     }
   let(:inverse_class)    { mock('Inverse Class', :instance => inverse_instance) }
   let(:inverse_instance) { mock('Inverse Instance')                             }
   let(:object)           { described_class.new                                  }

data/spec/unit/veritas/{logic/expression → function/proposition}/rename_spec.rb

@@ -1,10 +1,11 @@
+# encoding: utf-8
+
 require 'spec_helper'
-require File.expand_path('../fixtures/classes', __FILE__)
 
-describe Logic::Expression, '#rename' do
+describe Function::Proposition, '#rename' do
   subject { object.rename(aliases) }
 
-  let(:described_class) { ExpressionSpecs::Object          }
+  let(:described_class) { Class.new(Function::Proposition) }
   let(:header)          { TABLE_DUM.header                 }
   let(:aliases)         { Algebra::Rename::Aliases.new({}) }
   let(:object)          { described_class.new              }

data/spec/unit/veritas/{logic → function}/proposition/tautology/and_spec.rb

@@ -1,6 +1,8 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
-describe Logic::Proposition::Tautology, '#and' do
+describe Function::Proposition::Tautology, '#and' do
   subject { object.and(other) }
 
   let(:other)  { mock('other')            }

data/spec/unit/veritas/{logic → function}/proposition/tautology/class_methods/call_spec.rb

@@ -1,6 +1,8 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
-describe Logic::Proposition::Tautology, '.call' do
+describe Function::Proposition::Tautology, '.call' do
   subject { object.call }
 
   let(:object) { described_class }

data/spec/unit/veritas/function/proposition/tautology/class_methods/inverse_spec.rb

@@ -0,0 +1,11 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Function::Proposition::Tautology, '.inverse' do
+  subject { object.inverse }
+
+  let(:object) { described_class }
+
+  it { should equal(Function::Proposition::Contradiction) }
+end

data/spec/unit/veritas/{logic → function}/proposition/tautology/inspect_spec.rb

@@ -1,6 +1,8 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
-describe Logic::Proposition::Tautology, '#inspect' do
+describe Function::Proposition::Tautology, '#inspect' do
   subject { object.inspect }
 
   let(:object) { described_class.instance }

data/spec/unit/veritas/{logic → function}/proposition/tautology/inverse_spec.rb

@@ -1,13 +1,15 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
-describe Logic::Proposition::Tautology, '#inverse' do
+describe Function::Proposition::Tautology, '#inverse' do
   subject { object.inverse }
 
   let(:object) { described_class.instance }
 
   it_should_behave_like 'an idempotent method'
 
-  it { should equal(Logic::Proposition::Contradiction.instance) }
+  it { should equal(Function::Proposition::Contradiction.instance) }
 
   it 'is invertible' do
     subject.inverse.should equal(object)

data/spec/unit/veritas/{logic → function}/proposition/tautology/or_spec.rb

@@ -1,6 +1,8 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
-describe Logic::Proposition::Tautology, '#or' do
+describe Function::Proposition::Tautology, '#or' do
   subject { object.or(other) }
 
   let(:other)  { mock('other')            }

data/spec/unit/veritas/function/proposition/type_spec.rb

@@ -0,0 +1,12 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Function::Proposition, '#type' do
+  subject { object.type }
+
+  let(:described_class) { Class.new(Function::Proposition) }
+  let(:object)          { described_class.new              }
+
+  it { should equal(Attribute::Boolean) }
+end

data/spec/unit/veritas/function/rename_spec.rb

@@ -0,0 +1,14 @@
+# encoding: utf-8
+
+require 'spec_helper'
+require File.expand_path('../fixtures/classes', __FILE__)
+
+describe Function, '#rename' do
+  subject { object.rename(aliases) }
+
+  let(:described_class) { FunctionSpecs::Object }
+  let(:aliases)         { mock('Aliases')       }
+  let(:object)          { described_class.new   }
+
+  specify { expect { subject }.to raise_error(NotImplementedError, "#{described_class}#rename must be implemented") }
+end

data/spec/unit/veritas/function/string/length/class_methods/call_spec.rb

@@ -0,0 +1,12 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Function::String::Length, '.call' do
+  subject { object.call(value) }
+
+  let(:object) { described_class }
+  let(:value)  { 'a string'      }
+
+  it { should eql(8) }
+end

data/spec/unit/veritas/function/string/length/inspect_spec.rb

@@ -0,0 +1,11 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Function::String::Length, '#inspect' do
+  subject { object.inspect }
+
+  let(:object) { described_class.new('a string') }
+
+  it { should == 'LENGTH("a string")' }
+end

data/spec/unit/veritas/function/string/length/methods/length_spec.rb

@@ -0,0 +1,14 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Function::String::Length::Methods, '#length' do
+  subject { object.length }
+
+  let(:described_class) { Class.new { include Function::String::Length::Methods } }
+  let(:object)          { described_class.new.freeze                              }
+
+  it { should be_kind_of(Function::String::Length) }
+
+  its(:operand) { should equal(object) }
+end

data/spec/unit/veritas/function/string/length/type_spec.rb

@@ -0,0 +1,11 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Function::String::Length, '#type' do
+  subject { object.type }
+
+  let(:object) { described_class.new('string') }
+
+  it { should equal(Attribute::Integer) }
+end

data/spec/unit/veritas/function/type_spec.rb

@@ -0,0 +1,13 @@
+# encoding: utf-8
+
+require 'spec_helper'
+require File.expand_path('../fixtures/classes', __FILE__)
+
+describe Function, '#type' do
+  subject { object.type }
+
+  let(:described_class) { FunctionSpecs::Object }
+  let(:object)          { described_class.new   }
+
+  specify { expect { subject }.to raise_error(NotImplementedError, "#{described_class}#type must be implemented") }
+end

data/spec/unit/veritas/{logic/connective → function}/unary/call_spec.rb

@@ -1,7 +1,9 @@
+# encoding: utf-8
+
 require 'spec_helper'
 require File.expand_path('../fixtures/classes', __FILE__)
 
-describe Logic::Connective::Unary, '#call' do
+describe Function::Unary, '#call' do
   subject { object.call(tuple) }
 
   let(:described_class) { UnarySpecs::Object                         }

data/spec/unit/veritas/{logic/connective → function}/unary/equal_value_spec.rb

@@ -1,7 +1,9 @@
+# encoding: utf-8
+
 require 'spec_helper'
 require File.expand_path('../fixtures/classes', __FILE__)
 
-describe Logic::Connective::Unary, '#==' do
+describe Function::Unary, '#==' do
   subject { object == other }
 
   let(:described_class) { UnarySpecs::Object                  }

data/spec/unit/veritas/{logic/connective → function}/unary/fixtures/classes.rb

@@ -1,5 +1,9 @@
+# encoding: utf-8
+
 module UnarySpecs
-  class Object < Logic::Connective::Unary
+  class Object < Function
+    include Function::Unary, Function::Unary::Invertible
+
     def inspect
       "Unary(#{operand.inspect})"
     end

data/spec/unit/veritas/function/unary/invertible/inverse_spec.rb

@@ -0,0 +1,37 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Function::Unary::Invertible, '#inverse' do
+  subject { object.inverse }
+
+  let(:described_class) { Class.new(Function) { include Function::Unary } }
+  let(:operand)         { mock('Operand').freeze                          }
+  let(:object)          { described_class.new(operand)                    }
+
+  before do
+    described_class.class_eval do
+      include Function::Unary::Invertible
+
+      def self.inverse
+        self
+      end
+
+      def inspect
+        'Unary::Invertible'
+      end
+    end
+  end
+
+  it_should_behave_like 'an idempotent method'
+
+  it { should be_kind_of(described_class) }
+
+  it { should_not equal(object) }
+
+  its(:operand) { should equal(operand) }
+
+  it 'is invertible' do
+    subject.inverse.should equal(object)
+  end
+end

data/spec/unit/veritas/{logic/connective → function}/unary/rename_spec.rb

@@ -1,7 +1,9 @@
+# encoding: utf-8
+
 require 'spec_helper'
 require File.expand_path('../fixtures/classes', __FILE__)
 
-describe Logic::Connective::Unary, '#rename' do
+describe Function::Unary, '#rename' do
   subject { object.rename(aliases) }
 
   let(:described_class) { UnarySpecs::Object                                        }
@@ -16,7 +18,7 @@ describe Logic::Connective::Unary, '#rename' do
 
     it { should be_kind_of(described_class) }
 
-    its(:operand) { should == other.eq(1) }
+    its(:operand) { should eql(other.eq(1)) }
   end
 
   context 'operand is not renamed' do

data/spec/unit/veritas/immutable/class_methods/freeze_object_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Immutable, '.freeze_object' do

data/spec/unit/veritas/immutable/class_methods/new_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 require File.expand_path('../../fixtures/classes', __FILE__)
 

data/spec/unit/veritas/immutable/dup_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 require File.expand_path('../fixtures/classes', __FILE__)
 

data/spec/unit/veritas/immutable/fixtures/classes.rb

@@ -1,25 +1,27 @@
+# encoding: utf-8
+
 module ImmutableSpecs
   class Object
     include Immutable
 
     def test
-      rand
+      'test'
     end
 
     def public_method
-      rand
+      'public_method'
     end
 
   protected
 
     def protected_method
-      rand
+      'protected_method'
     end
 
   private
 
     def private_method
-      rand
+      'private_method'
     end
 
   end # class Object

data/spec/unit/veritas/immutable/freeze_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 require File.expand_path('../fixtures/classes', __FILE__)
 

data/spec/unit/veritas/immutable/memoize_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 require File.expand_path('../fixtures/classes', __FILE__)
 
@@ -7,14 +9,36 @@ describe Immutable, '#memoize' do
   let(:described_class) { Class.new(ImmutableSpecs::Object) }
   let(:object)          { described_class.new               }
   let(:method)          { :test                             }
-  let(:value)           { String.new.freeze                 }
 
   before do
     described_class.memoize(method)
   end
 
-  it 'sets the memoized value for the method to the value' do
-    subject
-    object.send(method).should equal(value)
+  context 'when the value is frozen' do
+    let(:value) { String.new.freeze }
+
+    it 'sets the memoized value for the method to the value' do
+      subject
+      object.send(method).should equal(value)
+    end
+
+    it 'creates a method that returns a frozen value' do
+      subject
+      object.send(method).should be_frozen
+    end
+  end
+
+  context 'when the value is not frozen' do
+    let(:value) { String.new }
+
+    it 'sets the memoized value for the method to the value' do
+      subject
+      object.send(method).should eql(value)
+    end
+
+    it 'creates a method that returns a frozen value' do
+      subject
+      object.send(method).should be_frozen
+    end
   end
 end

data/spec/unit/veritas/immutable/memoized_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 require File.expand_path('../fixtures/classes', __FILE__)
 

data/spec/unit/veritas/immutable/memory/element_reference_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Immutable::Memory, '#[]' do

data/spec/unit/veritas/immutable/memory/element_set_spec.rb

@@ -1,11 +1,13 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Immutable::Memory, '#[]=' do
   subject { object[key] = value }
 
-  let(:object) { described_class.new             }
-  let(:key)    { '@key'                          }
-  let(:value)  { mock('Value', :frozen? => true) }
+  let(:object) { described_class.new }
+  let(:key)    { '@key'              }
+  let(:value)  { mock('Value')       }
 
   it { should equal(value) }
 

data/spec/unit/veritas/immutable/module_methods/included_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 require File.expand_path('../../fixtures/classes', __FILE__)
 

data/spec/unit/veritas/immutable/module_methods/memoize_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 require File.expand_path('../../fixtures/classes', __FILE__)
 
@@ -8,6 +10,12 @@ shared_examples_for 'memoizes method' do
     instance.send(method).should equal(instance.send(method))
   end
 
+  it 'creates a method that returns a frozen value' do
+    subject
+    instance = object.new
+    instance.send(method).should be_frozen
+  end
+
   specification = proc do
     object.send(:define_method, method) do
       caller
@@ -18,7 +26,7 @@ shared_examples_for 'memoizes method' do
     file, line = object.new.send(method).first.split(':')[0, 2]
 
     File.expand_path(file).should == File.expand_path('../../../../../../lib/veritas/support/immutable.rb', __FILE__)
-    line.to_i.should == 177
+    line.to_i.should == 179
   end
 
   it 'sets the file and line number properly' do

data/spec/unit/veritas/operation/binary/eql_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Operation::Binary, '#eql?' do

data/spec/unit/veritas/operation/binary/hash_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Operation::Binary, '#hash' do

data/spec/unit/veritas/operation/binary/left_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Operation::Binary, '#left' do

data/spec/unit/veritas/operation/binary/right_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Operation::Binary, '#right' do

data/spec/unit/veritas/operation/unary/eql_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Operation::Unary, '#eql?' do

data/spec/unit/veritas/operation/unary/hash_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Operation::Unary, '#hash' do

data/spec/unit/veritas/operation/unary/operand_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Operation::Unary, '#operand' do

data/spec/unit/veritas/relation/base/name_spec.rb

@@ -0,0 +1,45 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Relation::Base, '#name' do
+  subject { object.name }
+
+  let(:header) { [ [ :id, Integer ] ]                    }
+  let(:body)   { [ [ 1 ] ].each                          }
+  let(:object) { described_class.new(name, header, body) }
+
+  context 'when name is a frozen String' do
+    let(:name) { 'users'.freeze }
+
+    it_should_behave_like 'an idempotent method'
+
+    it { should equal(name) }
+
+    it { should be_frozen }
+  end
+
+  context 'when name is a String' do
+    let(:name) { 'users' }
+
+    it_should_behave_like 'an idempotent method'
+
+    it { should_not equal(name) }
+
+    it { should eql(name) }
+
+    it { should be_frozen }
+  end
+
+  context 'when name responds to #to_s' do
+    let(:name) { :users }
+
+    it_should_behave_like 'an idempotent method'
+
+    it { should_not equal(name) }
+
+    it { should eql(name.to_s) }
+
+    it { should be_frozen }
+  end
+end

data/spec/unit/veritas/relation/class_methods/new_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Relation, '.new' do

data/spec/unit/veritas/relation/directions_spec.rb

@@ -1,9 +1,11 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Relation, '#directions' do
   subject { object.directions }
 
-  let(:body)   { [ [ 1 ] ].each                                  }  # use an Enumerator
+  let(:body)   { [].each                                         }  # use an Enumerator
   let(:object) { described_class.new([ [ :id, Integer ] ], body) }
 
   before do

data/spec/unit/veritas/relation/each_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Relation, '#each' do