# frozen_string_literal: true

require_relative '../spec_helper' # Use the RSpec framework
require_relative '../../lib/mini_kraken/core/environment'
require_relative '../../lib/mini_kraken/core/equals'
require_relative '../../lib/mini_kraken/core/fail'
require_relative '../../lib/mini_kraken/core/k_symbol'

# Load the class under test
require_relative '../../lib/mini_kraken/core/goal'

module MiniKraken
  module Core
    describe Goal do
      let(:nullary_relation) { Fail.instance }
      subject { Goal.new(nullary_relation, []) }
      let(:binary_relation) { Equals.instance }
      let(:env) { Environment.new }
      subject { Goal.new(binary_relation, [KSymbol.new(:pea), KSymbol.new(:pod)]) }

      context 'Initialization:' do
        it 'should accept one nullary relation and empty argument array' do
          expect { Goal.new(nullary_relation, []) }.not_to raise_error
        end

        it 'should accept one binary relation and 2-elements array' do
          expect { Goal.new(binary_relation, [KSymbol.new(:pea), KSymbol.new(:pod)]) }.not_to raise_error
        end

        it 'should know its relation' do
          expect(subject.relation).to eq(binary_relation)
        end

        it 'should know its actual arguments' do
          expectations = [KSymbol.new(:pea), KSymbol.new(:pod)]
          expect(subject.actuals).to eq(expectations)
        end
      end # context

      context 'Provided services:' do
        it 'should fail if relation does not succeed' do
          solver = subject.attain(env)
          expect(solver.resume).not_to be_success

          # No more solution...
          expect(solver.resume).to be_nil
        end

        it 'should succeed if relation succeeds' do
          instance = Goal.new(binary_relation, [KSymbol.new(:pea), KSymbol.new(:pea)])

          solver = instance.attain(env)
          expect(solver.resume).to be_success

          # No more solution...
          expect(solver.resume).to be_nil
        end
      end # context
    end # describe
  end # module
end # module