optimize_spec.rb in veritas-optimizer-0.0.4

- old
+ new

@@ -1,5 +1,7 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Algebra::Join, '#optimize' do
   subject { object.optimize }
 
@@ -44,11 +46,11 @@
 
     it_should_behave_like 'an optimize method'
   end
 
   context 'left is an empty relation when optimized' do
-    let(:left) { Algebra::Restriction.new(original_left, Logic::Proposition::Contradiction.instance) }
+    let(:left) { Algebra::Restriction.new(original_left, Function::Proposition::Contradiction.instance) }
 
     it { should eql(Relation::Empty.new(right.header)) }
 
     it 'returns an equivalent relation to the unoptimized operation' do
       should == object
@@ -61,10 +63,10 @@
 
     it_should_behave_like 'an optimize method'
   end
 
   context 'right is an empty relation when optimized' do
-    let(:right) { Algebra::Restriction.new(original_right, Logic::Proposition::Contradiction.instance) }
+    let(:right) { Algebra::Restriction.new(original_right, Function::Proposition::Contradiction.instance) }
 
     it { should eql(Relation::Empty.new(right.header)) }
 
     it 'returns an equivalent relation to the unoptimized operation' do
       should == object