Contents

# encoding: utf-8

require 'spec_helper'

describe Function::Proposition, '#inverse' do
  subject { object.inverse }

  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                                  }

  before do
    described_class.stub!(:inverse).and_return(inverse_class)
  end

  it 'calls .inverse on the class' do
    described_class.should_receive(:inverse).with(no_args).and_return(inverse_class)
    subject
  end

  it 'calls .instance on the inverse class' do
    inverse_class.should_receive(:instance).with(no_args)
    subject
  end

  it { should equal(inverse_instance) }
end

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
veritas-0.0.7	spec/unit/veritas/function/proposition/inverse_spec.rb
veritas-0.0.6	spec/unit/veritas/function/proposition/inverse_spec.rb
veritas-0.0.5	spec/unit/veritas/function/proposition/inverse_spec.rb
veritas-0.0.4	spec/unit/veritas/function/proposition/inverse_spec.rb