Contents

# encoding: utf-8

require 'spec_helper'

describe Function::Proposition, '#==' do
  subject { object == other }

  let(:described_class) { Class.new(Function::Proposition) }
  let(:object)          { described_class.new              }

  context 'with the same object' do
    let(:other) { object }

    it { should be(true) }

    it 'is symmetric' do
      should eql(other == object)
    end
  end

  context 'with an equivalent object of a subclass' do
    let(:other) { Class.new(described_class).new }

    it { should be(true) }

    it 'is not symmetric' do
      should_not eql(other == object)
    end
  end

  context 'with a different class' do
    let(:other) { Class.new(Function::Proposition).new }

    it { should be(false) }

    it 'is symmetric' do
      should eql(other == object)
    end
  end
end

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
axiom-0.1.1	spec/unit/axiom/function/proposition/equality_operator_spec.rb
axiom-0.1.0	spec/unit/axiom/function/proposition/equality_operator_spec.rb