#
# ActiveFacts tests: Test the relational absorption by compiling CQL fragments.
# Copyright (c) 2008 Clifford Heath. Read the LICENSE file.
#
require 'rubygems'
require 'treetop'
require 'activefacts/support'
require 'activefacts/api/support'
require 'activefacts/input/cql'
require 'activefacts/persistence'

describe "Absorption" do
  Prologue = %Q{
    vocabulary Test;
    DateTime is written as DateAndTime();
    Month is written as VariableLengthText(3);
    Season is written as VariableLengthText(6);
    PartyID is written as AutoCounter();
    ClaimID is written as AutoCounter();
  }
  Claim = %Q{
    Claim is identified by ClaimID where
      Claim has exactly one ClaimID,
      ClaimID is of at most one Claim;
  }
  Incident = %Q{
    Incident is identified by Claim where
      Claim concerns at most one Incident,
      Incident is of exactly one Claim;
  }
  Party = %Q{
    Party is identified by PartyID where
      Party has exactly one PartyID,
      PartyID is of at most one Party;
  }
  Person = %Q{
    Person is a kind of Party;
  }

  Tests = [
    { :should => "inject a value column into the table for an independent ValueType",
      :cql => %Q{
        #{Prologue}
        Month is in exactly one Season;
      },
      :tables => { "Month" => [["Month", "Value"], ["Season"]] }
    },

    { :should => "absorb a one-to-one along the identification path",
      :cql => %Q{
        #{Prologue} #{Claim} #{Incident}
        Incident relates to loss on exactly one DateTime;
      },
      :tables => { "Claim" => [%w{Claim ID}, %w{Incident Date Time}]}
    },

    { :should => "absorb an objectified binary with single-role UC",
      :cql => %Q{
        #{Prologue} #{Claim} #{Party} #{Person}
        Lodgement is where
          Claim was lodged by at most one Person;
        Lodgement was made at at most one DateTime;
        Person has exactly one birth-Date;
      },
      :tables => {
        "Claim" => [%w{Claim ID}, %w{Lodgement Date Time}, %w{Lodgement Person ID}],
        "Party" => [%w{Party ID}, %w{Person Birth Date}]
      }
    },

  ]

  Tests.each do |test|
    should = test[:should]
    cql = test[:cql]
    expected_tables = test[:tables]
    it "should #{should}" do
      @compiler = ActiveFacts::Input::CQL.new(cql, should)
      @vocabulary = @compiler.read

      # puts cql

      # Ensure that the same tables were generated:
      tables = @vocabulary.tables.sort_by(&:name)
      tables.map(&:name).should == expected_tables.keys.sort

      # Ensure that the same column descriptions were generated:
      tables.each do |table|
        column_descriptions = table.columns.map{|col| col.name(nil) }.sort
        column_descriptions.should == expected_tables[table.name].map{|c| Array(c) }.sort
      end
    end
  end
end