activefacts 1.6.0 → 1.7.1

data/spec/cql/parser/pragmas_spec.rb

@@ -1,89 +0,0 @@
-#
-# ActiveFacts tests: Test the CQL parser by looking at its parse trees.
-# Copyright (c) 2008 Clifford Heath. Read the LICENSE file.
-#
-
-require 'activefacts/cql'
-require 'activefacts/support'
-require 'activefacts/api/support'
-require 'helpers/test_parser'
-
-describe "Entity Types" do
-  IndependentObjectTypes = [
-    # Value types
-    [ "a is written as b [independent];",
-      ['ValueType: a is written as b, pragmas [independent];'],
-    ],
-    [ "a [independent] is written as b;",
-      ['ValueType: a is written as b, pragmas [independent];'],
-    ],
-
-    # Entity types
-    [ "a is identified by its id [independent];",
-      ['EntityType: a identified by its id, pragmas [independent];']
-    ],
-    [ "a [independent] is identified by its id;",
-      ['EntityType: a identified by its id, pragmas [independent];']
-    ],
-    [ "a is independent identified by its id;",
-      ['EntityType: a identified by its id, pragmas [independent];']
-    ],
-    [ "a is identified by b [independent] where a has one b;",
-      ['EntityType: a [{b}] where [{a} "has" {[1..1] b}], pragmas [independent];']
-    ],
-    [ "a is independent identified by b where a has one b;",
-      ['EntityType: a [{b}] where [{a} "has" {[1..1] b}], pragmas [independent];']
-    ],
-
-    # Subtypes
-    [ "Employee [independent] is a kind of Person;",
-      ['EntityType: Employee < Person nil, pragmas [independent];']
-    ],
-    [ "Employee is a kind of Person [independent];",
-      ['EntityType: Employee < Person nil, pragmas [independent];']
-    ],
-    [ "Employee is a kind of independent Person;",
-      ['EntityType: Employee < Person nil, pragmas [independent];']
-    ],
-    [ "Employee is a kind of Person identified by its id [independent];",
-      ["EntityType: Employee < Person identified by its id, pragmas [independent];"]
-    ],
-
-    # Fact Types
-    [ "Director is where c relates to b;",
-      ["FactType: [{c} \"relates to\" {b}]"]
-    ],
-    [ "Director [independent] is where c relates to b;",
-      ["FactType: [{c} \"relates to\" {b}], pragmas [independent]"]
-    ],
-    [ "Director is independent where c relates to b;",
-       ["FactType: [{c} \"relates to\" {b}], pragmas [independent]"]
-    ],
-  ]
-
-  PragmaObjectTypes =
-    IndependentObjectTypes
-
-  before :each do
-    @parser = TestParser.new
-    @parser.parse_all("c is written as b;", :definition)
-  end
-
-  PragmaObjectTypes.each do |c|
-    source, ast = *c
-    it "should parse #{source.inspect}" do
-      result = @parser.parse_all(source, :definition)
-
-      puts @parser.failure_reason unless result
-      result.should_not be_nil
-
-      canonical_form = result.map{|d| d.ast.to_s}
-      if ast
-        canonical_form.should == ast
-      else
-        pending "#{source.inspect} should compile to\n" +
-          "\t#{canonical_form}"
-      end
-    end
-  end
-end

data/spec/cql/parser/value_types_spec.rb

@@ -1,42 +0,0 @@
-#
-# ActiveFacts tests: Test the CQL parser by looking at its parse trees.
-# Copyright (c) 2008 Clifford Heath. Read the LICENSE file.
-#
-
-require 'activefacts/cql'
-require 'activefacts/support'
-require 'activefacts/api/support'
-require 'helpers/test_parser'
-
-describe "Value Types" do
-  ValueTypes = [
-    [ "a is written as b(1, 2) in inch restricted to { 3 .. 4 } inch ;",
-      ['ValueType: a is written as b(1, 2) in [["inch", 1]] ValueConstraint to ([3..4]) in [["inch", 1]];']
-    ],
-#    [ "a c  is written as b(1, 2) inch restricted to { 3 .. 4 } inch ;",
-#      [["a c", [:value_type, "b", [1, 2], "inch", [[3, 4]]]]]
-#    ],
-  ]
-
-  before :each do
-    @parser = TestParser.new
-  end
-
-  ValueTypes.each do |c|
-    source, ast = *c
-    it "should parse #{source.inspect}" do
-      result = @parser.parse_all(source, :definition)
-
-      puts @parser.failure_reason unless result
-      result.should_not be_nil
-
-      canonical_form = result.map{|d| d.ast.to_s}
-      if ast
-        canonical_form.should == ast
-      else
-        puts "#{source.inspect} should compile to"
-        puts "\t#{canonical_form}"
-      end
-    end
-  end
-end

data/spec/cql/role_matching_spec.rb

@@ -1,148 +0,0 @@
-#
-# ActiveFacts CQL Fact Type matching tests
-# Copyright (c) 2009 Clifford Heath. Read the LICENSE file.
-#
-$: << Dir::getwd
-
-require 'rspec/expectations'
-
-require 'activefacts/support'
-require 'activefacts/api/support'
-require 'activefacts/cql/compiler'
-require File.dirname(__FILE__) + '/../helpers/compile_helpers'
-
-describe "When comparing roles of a reading with an existing reading" do
-  before :each do
-    extend CompileHelpers
-
-    prefix = %q{
-      vocabulary Tests;
-      Boy is written as String;
-      Girl is written as Integer;
-    }
-    @compiler = ActiveFacts::CQL::Compiler.new('Test')
-    @compiler.compile(prefix)
-    @constellation = @compiler.vocabulary.constellation
-
-    baseline
-  end
-
-  describe "producing correct side effects" do
-    before :each do
-      @compiler.compile %q{ Boy is going out with Girl; }
-      @simple_ft = fact_types[0]
-      baseline
-      @compiler.compile %q{ Boy dislikes ugly-Girl; }
-      @ugly_ft = fact_types[0]
-      baseline
-      @compiler.compile %q{ Boy -monster hurts Girl; }
-      @hurts_ft = fact_types[0]
-      baseline
-      #debug_enable("matching"); debug_enable("matching_fails"); debug_enable("parse")
-    end
-    after :each do
-      # debug_disable("matching"); debug_disable("matching_fails"); debug_disable("parse")
-    end
-
-    it "should match exact reading" do
-      parse %q{Boy is going out with Girl;}
-      @asts.size.should == 1
-      side_effects = match_readings_to_existing(@asts[0], @simple_ft.all_reading.single)
-      side_effects[0].should_not be_nil
-      side_effects.to_s.should == '[side-effects are [{Boy} absorbs 0/0 at 0, {Girl} absorbs 0/0 at 5]]'
-    end
-
-    it "should match with explicit leading adjective" do
-      parse %q{Boy dislikes ugly-Girl;}
-      @asts.size.should == 1
-      side_effects = match_readings_to_existing(@asts[0], @ugly_ft.all_reading.single)
-      side_effects[0].should_not be_nil
-      side_effects.to_s.should == '[side-effects are [{Boy} absorbs 0/0 at 0, {ugly- Girl} absorbs 0/0 at 2]]'
-    end
-
-    it "should match with implicit leading adjective" do
-      parse %q{Boy dislikes ugly Girl;}
-      @asts.size.should == 1
-      side_effects = match_readings_to_existing(@asts[0], @ugly_ft.all_reading.single)
-      side_effects[0].should_not be_nil
-      side_effects.to_s.should == '[side-effects are [{Boy} absorbs 0/0 at 0, {Girl} absorbs 1/0 at 3]]'
-    end
-
-    it "should match with local leading adjective" do
-      parse %q{
-        bad-Boy is going out with Girl,
-        Girl likes bad-Boy; // New reading, no match expected, but must use residual adjective
-      }
-      @asts.size.should == 1
-      side_effects = match_readings_to_existing(@asts[0], @simple_ft.all_reading.single)
-      side_effects.size.should == 2
-      side_effects[0].should_not be_nil
-      side_effects[1].should be_nil
-      skip side_effects[0].to_s
-      side_effects[0].to_s.should == '[{bad- Boy} absorbs 0/0 at 0 with residual adjectives, {Girl} absorbs 0/0 at 5] with residual adjectives'
-      #side_effects[1].to_s.should == ''
-    end
-
-    it "should match with explicit and local leading adjective" do
-      parse %q{
-        Boy dislikes nasty- ugly Girl,
-        nasty- Girl likes Boy; // New reading, no match expected, but must use residual adjective
-      }
-      @asts.size.should == 1
-      side_effects = match_readings_to_existing(@asts[0], @ugly_ft.all_reading.single)
-      side_effects.size.should == 2
-      skip "Matched adjectives must be removed and the role rebound before deciding whether residual adjectives have a purpose" do
-        side_effects[0].should_not be_nil
-        puts side_effects[0].to_s
-        #side_effects.to_s.should == ''
-      end
-    end
-
-    # Trailing adjectives
-    it "should match with explicit trailing adjective" do
-      parse %q{Boy-monster hurts Girl;}
-      @asts.size.should == 1
-      side_effects = match_readings_to_existing(@asts[0], @hurts_ft.all_reading.single)
-      skip "Thinks trailing adjectives are always residual"
-      side_effects[0].should_not be_nil
-      side_effects[0].to_s.should == ''
-    end
-
-    it "should match with implicit trailing adjective" do
-      parse %q{Boy monster hurts Girl;}
-      @asts.size.should == 1
-      side_effects = match_readings_to_existing(@asts[0], @hurts_ft.all_reading.single)
-      side_effects[0].should_not be_nil
-      side_effects.to_s.should == '[side-effects are [{Boy} absorbs 0/1 at 0, {Girl} absorbs 0/0 at 3]]'
-    end
-
-    it "should match with local trailing adjective" do
-      parse %q{
-        Boy is going out with Girl-troublemaker,
-        Girl troublemaker likes Boy;
-      }
-      @asts.size.should == 1
-      side_effects = match_readings_to_existing(@asts[0], @simple_ft.all_reading.single)
-      side_effects.size.should == 2
-      side_effects[0].should_not be_nil
-      side_effects.to_s.should == '[side-effects are [{Boy} absorbs 0/0 at 0, {Girl -troublemaker} absorbs 0/0 at 5 with residual adjectives] with residual adjectives, nil]'
-    end
-
-    it "should match with explicit and local trailing adjective" do
-      parse %q{
-        Boy monster -foo hurts Girl,
-          Girl likes Boy foo;
-      }
-      @asts.size.should == 1
-      side_effects = match_readings_to_existing(@asts[0], @hurts_ft.all_reading.single)
-      side_effects.size.should == 2
-
-      skip "Matched adjectives must be removed and the role rebound before deciding whether residual adjectives have a purpose" do
-        side_effects[0].should_not be_nil
-        puts side_effects.to_s
-        # side_effects.to_s.should == ''
-      end
-    end
-
-  end
-end

data/spec/cql/samples_spec.rb

@@ -1,244 +0,0 @@
-#
-# ActiveFacts tests: Test the CQL parser by looking at its parse trees.
-# Copyright (c) 2008 Clifford Heath. Read the LICENSE file.
-#
-
-require 'activefacts/support'
-require 'activefacts/api/support'
-require 'activefacts/input/cql'
-
-require 'set'
-
-describe "Sample data" do
-  SamplePrefix = %q{
-  vocabulary V;
-
-  Company Name is written as String;
-  Date is written as Date;
-  Company is identified by its Name;
-  Person is identified by its Name where Person is called Person Name;
-  Directorship is where
-      Company is directed by Person;
-  Directorship began on appointment-Date;
-  }
-
-  GoodSamples = [
-    [   # A simple ValueType instance
-      "Company Name 'Microsoft';",
-      [{:facts=>Set[], :instances=>Set["Company Name 'Microsoft'"]}]
-    ],
-    [   # Re-assert the same instance
-      "Company Name 'Microsoft'; Company Name 'Microsoft';",
-      [{:facts=>Set[], :instances=>Set["Company Name 'Microsoft'"]}]
-    ],
-    [   # The same instance, but in a named population
-      "example: Company Name 'Microsoft';",
-      [{:facts=>Set[], :instances=>Set["Company Name 'Microsoft'"]}]
-    ],
-    [   # A simply-identified EntityType instance
-      "Company 'Microsoft';",
-      [{:facts=>Set["Company has Company Name 'Microsoft'"], :instances=>Set["Company is identified by Company Name where Company has Company Name 'Microsoft'", "Company Name 'Microsoft'"]}]
-    ],
-    [   # Re-assert the same instance
-      "Company 'Microsoft'; Company 'Microsoft';",
-      [{:facts=>Set["Company has Company Name 'Microsoft'"], :instances=>Set["Company is identified by Company Name where Company has Company Name 'Microsoft'", "Company Name 'Microsoft'"]}]
-    ],
-    [   # The same instance in a named population
-      "example: Company 'Microsoft';",
-      [{:facts=>Set["Company has Company Name 'Microsoft'"], :instances=>Set["Company is identified by Company Name where Company has Company Name 'Microsoft'", "Company Name 'Microsoft'"]}]
-    ],
-    [   # The Company instance asserted with an explicit identifying fact
-      "Company has Company Name 'Microsoft';",
-      [{:facts=>Set["Company has Company Name 'Microsoft'"], :instances=>Set["Company is identified by Company Name where Company has Company Name 'Microsoft'", "Company Name 'Microsoft'"]}]
-    ],
-    [   # The Company instance asserted with a related identifying instance
-      "Company has Company Name, Company Name 'Microsoft';",
-      [{:facts=>Set["Company has Company Name 'Microsoft'"], :instances=>Set["Company is identified by Company Name where Company has Company Name 'Microsoft'", "Company Name 'Microsoft'"]}]
-    ],
-    [   # The same, with an explicit identifying value step
-      "Company Name 'Microsoft', Company has Company Name;",
-      [{:facts=>Set["Company has Company Name 'Microsoft'"], :instances=>Set["Company is identified by Company Name where Company has Company Name 'Microsoft'", "Company Name 'Microsoft'"]}]
-    ],
-    [   # A simple fact instance with two simply-identified entities
-      "Company 'Microsoft' is directed by Person 'Gates';",
-      [{:facts=>Set["Company has Company Name 'Microsoft'", "Company is directed by Person", "Person is called Person Name 'Gates'"], :instances=>Set["Company is identified by Company Name where Company has Company Name 'Microsoft'", "Company Name 'Microsoft'", "Directorship where Company is directed by Person", "Person is identified by Person Name where Person is called Person Name 'Gates'", "Person Name 'Gates'"]}]
-    ],
-    [   # Same with an explicit joined fact
-      "Company 'Microsoft' is directed by Person, Person is called Person Name 'Gates';",
-      [{:facts=>Set["Company has Company Name 'Microsoft'", "Company is directed by Person", "Person is called Person Name 'Gates'"], :instances=>Set["Company is identified by Company Name where Company has Company Name 'Microsoft'", "Company Name 'Microsoft'", "Directorship where Company is directed by Person", "Person is identified by Person Name where Person is called Person Name 'Gates'", "Person Name 'Gates'"]}]
-    ],
-    [   # Same with explicitly joined facts and instances
-      "Company is directed by Person, Person is called Person Name, Person Name 'Gates', Company has Company Name, Company Name 'Microsoft';",
-      [{:facts=>Set["Company has Company Name 'Microsoft'", "Company is directed by Person", "Person is called Person Name 'Gates'"], :instances=>Set["Company is identified by Company Name where Company has Company Name 'Microsoft'", "Company Name 'Microsoft'", "Directorship where Company is directed by Person", "Person is identified by Person Name where Person is called Person Name 'Gates'", "Person Name 'Gates'"]}]
-    ],
-    [   # Same in a named population
-      "example: Company is directed by Person, Person is called Person Name, Person Name 'Gates', Company has Company Name, Company Name 'Microsoft';",
-      [{:facts=>Set["Company has Company Name 'Microsoft'", "Company is directed by Person", "Person is called Person Name 'Gates'"], :instances=>Set["Company is identified by Company Name where Company has Company Name 'Microsoft'", "Company Name 'Microsoft'", "Directorship where Company is directed by Person", "Person is identified by Person Name where Person is called Person Name 'Gates'", "Person Name 'Gates'"]}]
-    ],
-
-    # Objectification examples
-    [
-      "Directorship (where Company 'Microsoft' is directed by Person 'Gates');",
-      [{:facts=>Set["Company has Company Name 'Microsoft'", "Company is directed by Person", "Person is called Person Name 'Gates'"], :instances=>Set["Person is identified by Person Name where Person is called Person Name 'Gates'", "Company is identified by Company Name where Company has Company Name 'Microsoft'", "Company Name 'Microsoft'", "Directorship where Company is directed by Person", "Person Name 'Gates'"]}]
-    ],
-    [
-      "Directorship (where Company 'Microsoft' is directed by Person 'Gates') began on appointment Date '20/02/1981';",
-      [{:facts=>Set["Company has Company Name 'Microsoft'", "Company is directed by Person", "Directorship began on appointment-Date '20/02/1981'", "Person is called Person Name 'Gates'"], :instances=>Set["Person is identified by Person Name where Person is called Person Name 'Gates'", "Company is identified by Company Name where Company has Company Name 'Microsoft'", "Company Name 'Microsoft'", "Directorship where Company is directed by Person", "Person Name 'Gates'", "Date '20/02/1981'"]}]
-    ],
-  ]
-
-  BadSamples =
-  [
-    [
-      "Company Name",
-      "Company Name",
-    ],
-    [
-      "foo: Company Name",
-      "Company Name",
-    ],
-    [ # Omit the company name:
-      "example: Company is directed by Person, Person is called Person Name, Person Name 'Gates', Company has Company Name;",
-      [ "Company (lacking Company Name)", "Company Name (needs a value)" ]
-    ],
-  ]
-
-  def render_value v
-    if v.to_s !~ /[^-+0-9.]/ and (n = eval(v.to_s) rescue nil)
-      n
-    else
-      v.to_s
-    end
-  end
-
-  # REVISIT: This code does a better job than verbalise. Consider incorporating it?
-  def instance_name(i)
-    if i.is_a?(ActiveFacts::Metamodel::Fact)
-      fact = i
-      reading = fact.fact_type.preferred_reading
-      reading_roles = reading.role_sequence.all_role_ref.sort_by{|rr| rr.ordinal}.map{|rr| rr.role }
-      role_values_in_reading_order = fact.all_role_value.sort_by{|rv| reading_roles.index(rv.role) }
-      instance_verbalisations = role_values_in_reading_order.map do |rv|
-        next nil unless v = rv.instance.value
-        render_value(v)
-      end
-      return reading.expand([], false, instance_verbalisations)
-      # REVISIT: Include the instance_names of all role players
-    end
-
-    if i.object_type.is_a?(ActiveFacts::Metamodel::ValueType)
-      return "#{i.object_type.name} #{render_value(i.value)}"
-    end
-
-    if i.object_type.fact_type      # An instance of an objectified fact type
-      return "#{i.object_type.name} where #{instance_name(i.fact)}"
-    end
-
-    # It's an entity that's not an objectified fact type
-    # REVISIT: If it has a simple identifier, there's no need to fully verbalise the identifying facts
-    pi = i.object_type.preferred_identifier
-    identifying_role_refs = pi.role_sequence.all_role_ref.sort_by{|rr| rr.ordinal}
-    return "#{i.object_type.name}" +
-      " is identified by " +
-      identifying_role_refs.map do |rr|
-        [ (l = rr.leading_adjective) ? l+"-" : nil,
-          rr.role.role_name || rr.role.object_type.name,
-          (t = rr.trailing_adjective) ? l+"-" : nil
-        ].compact*""
-      end * " and " +
-      " where " +
-      identifying_role_refs.map do |rr|  # Go through the identifying roles and emit the facts that define them
-        instance_role = i.object_type.all_role.detect{|r| r.fact_type == rr.role.fact_type}
-        identifying_fact = i.all_role_value.detect{|rv| rv.fact.fact_type == rr.role.fact_type}.fact
-        #counterpart_role = (rr.role.fact_type.all_role.to_a-[instance_role])[0]
-        #identifying_instance = counterpart_role.all_role_value.detect{|rv| rv.fact == identifying_fact}.instance
-        instance_name(identifying_fact)
-      end*", "
-  end
-
-  def instance_data(populations)
-    populations = @vocabulary.constellation.Population
-    populations.keys.sort.map do |popname|
-      popvalue = populations[popname]
-      {
-        :instances => Set[*popvalue.all_instance.map { |i| instance_name(i) }],
-        :facts => Set[*popvalue.all_fact.map { |fact| instance_name(fact) }]
-      }
-    end
-  end
-
-  # [].
-  GoodSamples.
-  each do |c|
-    source, expected = *Array(c)
-
-    it "should handle #{source.inspect}" do
-      @text = SamplePrefix+source
-      #pending if expected == [:pending]
-      exception = nil
-      lambda do
-        begin
-          @vocabulary = ActiveFacts::Input::CQL.readstring(@text)
-	  @vocabulary.finalise
-        rescue => exception
-          if trace :exception
-            puts "#{exception.message}"
-            puts "\t#{exception.backtrace*"\n\t"}"
-          end
-          raise
-        end
-      end.should_not raise_error
-      result = instance_data(@vocabulary)
-
-      if expected
-        result[0].should == expected[0]
-      else
-        pending "#{source}:\n\t#{result.inspect}"
-      end
-    end
-
-    it "should de-duplicate #{source.inspect}" do
-      # Make sure you don't get anything duplicated
-      @text = SamplePrefix+source+source
-      #pending if expected == [:pending]
-      exception = nil
-      lambda do
-        begin
-          @vocabulary = ActiveFacts::Input::CQL.readstring(@text)
-        rescue => exception
-          if trace :exception
-            puts "#{exception.message}"
-            puts "\t#{exception.backtrace*"\n\t"}"
-          end
-          raise
-        end
-      end.should_not raise_error
-      result = instance_data(@vocabulary)
-      result[0].should == expected[0]
-    end
-
-  end
-
-  BadSamples.each do |c|
-    source, missing = *Array(c)
-    it "should detect missing queries in #{source.inspect}" do
-      @text = SamplePrefix+source
-      lambda do
-        begin
-          @vocabulary = ActiveFacts::Input::CQL.readstring(@text)
-        rescue => @exception
-          raise
-        end
-      end.should raise_error
-
-      if missing
-        Array(missing).each do |m|
-          @exception.message.should =~ (m.is_a?(Regexp) ? m : Regexp.new(Regexp.escape(m)))
-        end
-      else
-        pending "raised #{@exception}"
-      end
-    end
-  end
-
-end