activefacts 0.8.9 → 0.8.10

data/spec/cql/expressions_spec.rb

@@ -0,0 +1,63 @@
+#
+# ActiveFacts CQL Join Expressions
+# Copyright (c) 2009 Clifford Heath. Read the LICENSE file.
+#
+
+require 'rspec/expectations'
+
+require 'activefacts/support'
+require 'activefacts/api/support'
+require 'activefacts/cql/compiler'
+require 'spec/helpers/compile_helpers'
+
+require 'ruby-debug'; Debugger.start
+
+describe "When compiling expressions" do
+  before :each do
+    extend CompileHelpers
+
+    prefix = %q{
+      vocabulary Tests;
+      Name is written as String;
+      year/years converts to 365.25 day;
+      Age is written as Integer year;
+      Person is identified by its Name;
+      Person is of Age;
+
+      // Company is identified by its Name;
+      // Directorship is where Person directs Company;
+    }
+    @compiler = ActiveFacts::CQL::Compiler.new('Test')
+    @compiler.compile(prefix)
+    @constellation = @compiler.vocabulary.constellation
+
+    baseline
+  end
+
+  describe "expressions" do
+
+    it "should create appropriate fact types" do
+      compile %q{Person is of Age >= 3*(9+11)? }
+
+      new_fact_types = fact_types
+      # new_fact_types.each { |ft| puts "new fact type: #{ft.default_reading}" }
+      new_fact_types.size.should == 3
+  end
+
+  it "should create derived fact type and project the roles" do
+      compile %q{Person is old where Person is of Age >= 3*(9+11); }
+
+      new_fact_types = fact_types
+      # new_fact_types.each { |ft| puts "new fact type: #{ft.default_reading}" }
+      new_fact_types.size.should == 4
+
+      is_old_ft = new_fact_types.detect{|ft| ft.all_reading.detect{|r| r.text =~ /is old/} }
+      (is_old_ft.all_reading.map{ |r| r.expand }*', ').should == "Person is old"
+
+      comparison_ft = (new_fact_types - [is_old_ft])[0]
+      (comparison_ft.all_reading.map{ |r| r.expand }*', ').should == "Age >= product(Integer, sum(Integer, Integer))"
+
+      # one_join_with_value 60, 'year'
+    end
+  end
+end

data/spec/cql/fact_type_matching_spec.rb

@@ -0,0 +1,283 @@
+#
+# ActiveFacts CQL Fact Type matching tests
+# Copyright (c) 2009 Clifford Heath. Read the LICENSE file.
+#
+
+require 'rspec/expectations'
+
+require 'activefacts/support'
+require 'activefacts/api/support'
+require 'activefacts/cql/compiler'
+require 'spec/helpers/compile_helpers'
+
+require 'ruby-debug'; Debugger.start
+
+describe "When matching a 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 "with no existing fact type" do
+    it "should create a simple fact type" do
+      compile %q{Girl is going out with at most one Boy; }
+      (new_fact_types = fact_types).size.should == 1
+      (fact_type = new_fact_types[0]).all_reading.size.should == 1
+      (pcs = fact_pcs(fact_type)).size.should == 1
+    end
+
+    it "should create a simple fact type using an explicit adjective" do
+      compile %q{Girl is going out with at most one ugly-Boy;}
+      (new_fact_types = fact_types).size.should == 1
+      (fact_type = new_fact_types[0]).all_reading.size.should == 1
+      (pcs = fact_pcs(fact_type)).size.should == 1
+    end
+  end
+
+  describe "on an existing fact type" do
+    before :each do
+      #debug_enable("binding"); debug_enable("matching"); debug_enable("matching_fails"); debug_enable("parse")
+    end
+    after :each do
+      #debug_disable("binding"); debug_disable("matching"); debug_disable("matching_fails"); debug_disable("parse")
+    end
+
+    describe "with no adjectives or role names" do
+      before :each do
+        compile %q{Girl is going out with at most one Boy;}
+        # baseline
+      end
+
+      it "should recognise and add a reading" do
+        compile %q{
+            Girl is going out with Boy,
+              Boy is going out with Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        (fact_type = new_fact_types[0]).all_reading.size.should == 2
+        (pcs = fact_pcs(fact_type)).size.should == 1
+      end
+
+      it "should remove duplicate new readings" do
+        pending("duplicate new clauses cause an error") do
+          compile %q{
+              Girl is going out with Boy,
+                Girl is going out with Boy,
+                Boy is going out with Girl,
+                Boy is going out with Girl;
+            }
+          (new_fact_types = fact_types).size.should == 1
+          (fact_type = new_fact_types[0]).all_reading.size.should == 2
+          (pcs = fact_pcs(fact_type)).size.should == 1
+        end
+      end
+
+      it "should add new presence constraints" do
+        compile %q{
+            Girl is going out with Boy,
+            Boy is going out with at most one Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        (fact_type = new_fact_types[0]).all_reading.size.should == 2
+        (pcs = fact_pcs(fact_type)).size.should == 2
+      end
+
+      it "should add a new reading with a hyphenated word" do
+        compile %q{
+            Girl is going out with Boy,
+            Boy is out driving a semi-trailer with Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        (readings = (fact_type = new_fact_types[0]).all_reading.to_a).size.should == 2
+        readings.detect{|r| r.text =~ /semi-trailer/}.should be_true
+        (pcs = fact_pcs(fact_type)).size.should == 1
+      end
+
+    end
+
+    describe "with role names" do
+      before :each do
+        compile %q{Girl (as Girlfriend) is going out with at most one Boy;}
+        # baseline
+      end
+
+      it "should match role names" do
+        pending("duplicate new clauses cause an error") do
+          compile %q{
+              Girl (as Girlfriend) is going out with Boy,
+              Boy is going out with Girlfriend;
+            }
+          (new_fact_types = fact_types).size.should == 1
+          (fact_type = new_fact_types[0]).all_reading.size.should == 3
+          (pcs = fact_pcs(fact_type)).size.should == 2
+        end
+      end
+    end
+
+    describe "with a leading adjective" do
+      before :each do
+        compile %q{Girl is going out with at most one ugly-Boy;}
+        @fact_type = fact_types[0]
+        @initial_reading = fact_readings(@fact_type)[0]
+        # baseline
+      end
+
+      it "should not match without the adjective" do
+        baseline
+        compile %q{
+            Girl is going out with at most one Boy,
+            Boy is best friend of Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        new_fact_types[0].all_reading.size.should == 2
+        fact_pcs(new_fact_types[0]).size.should == 1
+      end
+
+      it "should not match without the adjective and with the new reading first" do
+        baseline
+        compile %q{
+            Boy is best friend of Girl,
+            Girl is going out with at most one Boy;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        new_fact_types[0].all_reading.size.should == 2
+        fact_pcs(new_fact_types[0]).size.should == 1
+      end
+
+      it "should match using explicit adjective" do
+        compile %q{
+            Girl is going out with at most one ugly-Boy,
+            Boy is best friend of Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        (fact_type = new_fact_types[0]).all_reading.size.should == 2
+        (pcs = fact_pcs(fact_type)).size.should == 1
+      end
+
+      it "should match using implicit adjective" do
+        compile %q{
+            Girl is going out with ugly Boy,
+            ugly-Boy is best friend of Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        (fact_type = new_fact_types[0]).all_reading.size.should == 2
+        (pcs = fact_pcs(fact_type)).size.should == 1
+      end
+
+      it "should match using implicit adjective and new explicit trailing adjective" do
+        compile %q{
+            Girl is going out with ugly Boy-monster,
+            Boy monster is going out with Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        (fact_type = new_fact_types[0]).all_reading.size.should == 2
+        new_reading = (fact_readings(@fact_type) - [@initial_reading])[0]
+        new_reading.text.should == "{0} is going out with {1}"
+        new_reading.role_sequence.all_role_ref_in_order[0].trailing_adjective.should == "monster"
+        (pcs = fact_pcs(fact_type)).size.should == 1
+      end
+    end
+
+    describe "with a trailing adjective" do
+      before :each do
+        compile %q{Girl is going out with at most one Boy-monster;}
+        # baseline
+      end
+
+      it "should match using explicit adjective" do
+        compile %q{
+            Girl is going out with Boy-monster,
+            Boy is going out with Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        (fact_type = new_fact_types[0]).all_reading.size.should == 2
+        (pcs = fact_pcs(fact_type)).size.should == 1
+      end
+
+      it "should match using implicit adjective" do
+        compile %q{
+            Girl is going out with Boy monster,
+            Boy is going out with Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        (fact_type = new_fact_types[0]).all_reading.size.should == 2
+        (pcs = fact_pcs(fact_type)).size.should == 1
+      end
+
+      it "should match using implicit adjective and new explicit leading adjective" do
+        baseline
+        compile %q{
+            Girl is going out with ugly-Boy monster,
+            Boy is going out with Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        (fact_type = new_fact_types[0]).all_reading.size.should == 2
+        (pcs = fact_pcs(fact_type)).size.should == 1
+      end
+    end
+
+    describe "with double adjectives" do
+      before :each do
+        compile %q{Girl is going out with at most one ugly- bad Boy;}
+        # baseline
+      end
+
+      it "should match using explicit adjectives" do
+        compile %q{
+            Girl is going out with ugly- bad Boy,
+            ugly- bad Boy is going out with Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        (fact_type = new_fact_types[0]).all_reading.size.should == 2
+        (pcs = fact_pcs(fact_type)).size.should == 1
+      end
+
+      it "should match using implicit adjectives" do
+        compile %q{
+            Girl is going out with ugly bad Boy,
+            nasty- ugly bad Boy is going out with Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        (fact_type = new_fact_types[0]).all_reading.size.should == 2
+        (pcs = fact_pcs(fact_type)).size.should == 1
+      end
+    end
+
+    describe "with double trailing adjectives" do
+      before :each do
+        compile %q{Girl is going out with at most one Boy real -monster;}
+        # baseline
+      end
+
+      it "should match using explicit adjectives" do
+        compile %q{
+            Girl is going out with Boy real -monster,
+            Boy is going out with Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        (fact_type = new_fact_types[0]).all_reading.size.should == 2
+        (pcs = fact_pcs(fact_type)).size.should == 1
+      end
+
+      it "should match using implicit adjectives" do
+        compile %q{
+            Girl is going out with Boy real monster,
+            Boy is going out with Girl;
+          }
+        (new_fact_types = fact_types).size.should == 1
+        (fact_type = new_fact_types[0]).all_reading.size.should == 2
+        (pcs = fact_pcs(fact_type)).size.should == 1
+      end
+    end
+  end
+end

data/spec/cql/french_spec.rb

@@ -0,0 +1,21 @@
+
+
+# Examples:
+#
+# Company has at most one postal-Address;
+# CompanyContact is where Company has contact-Person;
+# CompanyContact is the situation where Company has contact-Person;
+# for each Company at least one of the following holds:
+#     that Company has some contact-Person,
+#     that Company has some mailing-Address and that mailing-Address includes PostCode;
+#
+# Entreprise is a synonym for English:Company;
+# Entreprise est un synonyme pour English:Company;
+# Personne is a synonym for English:Person;
+#
+# Entreprise a au plus une Adresse Postale;
+# EntrepriseContact est quand un(e) Entreprise a Personnes comme -contact;
+# pour chaque Entreprise au moins un des suivants s'applique:
+#     que cette Entreprise a certaines Personnes comme -contact,
+#     que cette Entreprise a certaines Adresses Postales et que ces Adresses Postales ont un Code Postale;
+#

data/spec/cql/parser/bad_literals_spec.rb

@@ -0,0 +1,86 @@
+#
+# 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 'spec_helper'
+require 'helpers/test_parser'
+
+describe "Parsing Invalid Numbers and Strings" do
+  it "should fail to parse an octal number containing non-octal digits" do
+    "a is written as b(08);".
+    should fail_to_parse /Expected (.|\n)* after a is written as b\(0$/
+  end
+
+  it "should fail to parse a hexadecimal number containing non-hexadecimal digits" do
+    "a is written as b(0xDice);".
+    should fail_to_parse /Expected (.|\n)* after a is written as b\(0$/
+  end
+
+  it "should fail to parse a negative number with an intervening space" do
+    "a is written as b(- 1);".
+    should fail_to_parse /Expected .* after a is written as b\(/
+  end
+
+  it "should fail to parse an explicit positive number with an intervening space" do
+    "a is written as b(+ 1);".
+    should fail_to_parse /Expected .* after a is written as b\(/
+  end
+
+  it "should fail to parse a negative octal number" do
+    "a is written as b(-077);".
+    should fail_to_parse /Expected .* after a is written as b\(/
+  end
+
+  it "should fail to parse a negative hexadecimal number" do
+    "a is written as b(-0xFace);".
+    should fail_to_parse /Expected .* after a is written as b\(/
+  end
+
+  it "should fail to parse invalid real numbers (no digits before or nonzero after the point)" do
+    "a is written as b(.0);".
+    should fail_to_parse /Expected .* after a is written as b\(/
+  end
+
+  it "should fail to parse invalid real numbers (no digits after or nonzero before the point)" do
+    "a is written as b(0.);".
+    should fail_to_parse /Expected .* after a is written as b\(/
+  end
+
+  it "should fail to parse a number with illegal whitespace before the exponent" do
+    "inch converts to 1 inch; a is written as b() inch ^2 ; ".
+    should fail_to_parse /Expected .* after a is written as b\(\) inch/
+  end
+
+  it "should fail to parse a number with illegal whitespace around the exponent" do
+    "inch converts to 1 inch; a is written as b() inch^ 2 ; ".
+    should fail_to_parse /Expected .* after a is written as b\(\) inch/
+  end
+
+  it "should fail to parse a string with an illegal octal escape" do
+    "a is written as b() restricted to { '\\7a' };".
+    should fail_to_parse /Expected .* a is written as b\(\) restricted to \{ '/
+  end
+
+  it "should fail to parse a string with a control character" do
+    "a is written as b() restricted to { '\001' };".
+    should fail_to_parse /Expected .* a is written as b\(\) restricted to \{ '/
+  end
+
+  it "should fail to parse a string with a control character" do
+    "a is written as b() restricted to { '\n' };".
+    should fail_to_parse /Expected .* a is written as b\(\) restricted to \{ '/
+  end
+
+  it "should fail to parse a cross-typed range" do
+    "a is written as b() restricted to { 0..'A' };".
+    should fail_to_parse /Expected .* after a is written as b\(\) restricted to \{ 0\.\./
+
+    "a is written as b() restricted to { 'a'..27 };".
+    should fail_to_parse /Expected .* after a is written as b\(\) restricted to \{ 'a'\.\./
+  end
+
+end