activefacts-metamodel 1.9.16 → 1.9.17

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: b1d9c5bd4adc1eb2615d7f203dbbbb7f4c55a3f7
-  data.tar.gz: 1ee14b0cb2c13872a6428838839ca5aab29fe44f
+  metadata.gz: add6e3c8d9f09f1d7c92e94658e9b3a53c937edb
+  data.tar.gz: dadcd30c0c2c04178dd53d811e384521dbe1bb3e
 SHA512:
-  metadata.gz: c27e410c1bdae1e36295a0b55dd7dabdd8b4024267feef22f5199fb980b403abe1f6295738d7bc5fc3f83e5465a16342eaa63b346363befb70b4fcc7972640ab
-  data.tar.gz: c71a23df4be55c450debded206c214435a972a6815fc1a51fb81cee9a9e7301dac5954b9f7cf9a210349812f3f95890822bcc3bc8653f29d86be3cc71d31e4c3
+  metadata.gz: c614110af45ddc88a5181c70ae6b26e04db2d69e10fc07515420942fd70756c34150f615ef3acb4ca99856298f5b6aab64831180d1d22654963074826168b5d9
+  data.tar.gz: ad3a1fb187d7885d8c5264e6ffe62d8ae26b462d36a06194f88a4d663c63a190818a6c7c02ff81864db41847dfc453ba8c267d376c71bad0cf2881d89bc9e1ba

data/lib/activefacts/metamodel/extensions.rb

@@ -1,3 +1,4 @@
+require 'pp'
 #
 #       ActiveFacts Vocabulary Metamodel.
 #       Extensions to the ActiveFacts Vocabulary classes (which are generated from the Metamodel)
@@ -66,6 +67,10 @@ module ActiveFacts
         @constellation.ValueType[[identifying_role_values, name]] or
           check_valid_nonexistent_object_type_name name
       end
+
+      def object_type_lookup name
+        @constellation.ObjectType[[identifying_role_values, name]]
+      end
     end
 
     class Concept
@@ -550,8 +555,101 @@ module ActiveFacts
         assimilation == 'partitioned'
       end
 
+      def new_pi
+        trace :newpi, "Looking for New PI for #{name}" do
+          # An objectified fact type is identified by the object which plays it.
+          if fact_type && fact_type.all_role.size == 1
+            # REVISIT: If the OFT is separate (is this even possible?), this probably won't work:
+            return fact_type.all_role.single.object_type.preferred_identifier
+          end
+
+          # All roles in a preferred identifier must be a counterpart
+          # to a role played by this type or any of its supertypes.
+          # Here, a unary role is deemed to be its own counterpart.
+          # If this is an objectified fact type, its roles are deemed
+          # to be counterparts per virtue of the mirror role.
+
+#          if name == 'User'
+#            pp all_role_transitive.map{|a| a.fact_type.describe(a)}
+#            debugger
+#          end
+
+          art = all_role_transitive.map do |role|
+            # No TypeInheritance roles unless we play the subtype
+            if (ti = role.fact_type).is_a?(TypeInheritance) && role != ti.subtype_role
+              nil
+            elsif role.is_a?(MirrorRole)
+              nil
+            elsif role.fact_type.all_role.size == 1
+              role.base_role
+            else
+              x = (c = role.counterpart and c.base_role)
+              # debugger if x && x.object_type == self
+              x
+            end
+          end.compact
+
+          all_role.each do |role|
+            # Is this the subtype role in a supertype that identifies us?
+            if (ti = role.base_role.fact_type).is_a?(TypeInheritance)
+              if role == ti.subtype_role and ti.provides_identification
+                trace :newpi, "#{name} is identified by supertype #{ti.supertype.name}"
+
+                pcs = ti.supertype_role.all_role_ref.to_a.flat_map(&:role_sequence).flat_map(&:all_presence_constraint).to_a
+                debugger if pcs.size > 1
+                return pcs[0]
+
+                return ti.supertype_role.object_type.preferred_identifier
+              end
+              next  # It can't be this TypeInheritance
+            end
+
+            # The fact type must be binary or unary
+            next if role.fact_type.all_role.size > 2
+
+            base_role = role.counterpart.base_role  # Go to the OFT role that implied the link fact type
+            base_role.all_role_ref.each do |rr|
+              if rr.role_sequence.all_presence_constraint.size > 0
+                trace :newpi, "Looking for New PI that includes '#{base_role.fact_type.describe(base_role)}'"
+              end
+              rr.role_sequence.all_presence_constraint.each do |pc|
+                next unless pc.max_frequency == 1 and
+                    pc.is_preferred_identifier and
+                    !pc.enforcement               # Alethic uniqueness constraint
+                # We have a uniqueness constraint that is alethic and preferred.
+                # If all its role are valid counterparts, this is our preferred identifier.
+                next if pc.role_sequence.all_role_ref.to_a.detect do |nrr|
+                    if !art.include?(nrr.role)
+                      trace :newpi, "Rejecting New PI with excluded role '#{nrr.role.fact_type.describe(nrr.role)}'"
+                    end
+                    !art.include?(nrr.role) # Nope, not included in the valid counterparts
+                  end
+                trace :newpi, "Accepting New PI #{pc.describe}"
+                return pc
+              end
+            end
+          end
+
+          debugger
+          trace :newpi, "No New PI found for #{name}"
+          nil
+
+        end
+      end
+
       def preferred_identifier
         return @preferred_identifier if @preferred_identifier
+
+        @old_preferred_identifier = old_preferred_identifier
+#        @new_preferred_identifier = new_pi
+#        if @old_preferred_identifier != @new_preferred_identifier
+##          debugger
+#          new_pi
+#        end
+        return @preferred_identifier = @old_preferred_identifier
+      end
+
+      def old_preferred_identifier
         if fact_type
           # Objectified unaries are identified by the ID of the object that plays the role:
           if fact_type.all_role.size == 1
@@ -615,6 +713,7 @@ module ActiveFacts
               trace :pi, "PI roles must be played by one of #{all_supertypes.map(&:name)*", "}" if all_supertypes.size > 1
               all_role.each{|role|
                   next unless role.is_unique || fact_type
+                  next if role.fact_type.is_a?(TypeInheritance) && !role.fact_type.provides_identification
                   ftroles = Array(role.fact_type.all_role)
 
                   # Skip roles in ternary and higher fact types, they're objectified

data/lib/activefacts/metamodel/version.rb

@@ -1,5 +1,5 @@
 module ActiveFacts
   module Metamodel
-    VERSION = "1.9.16"
+    VERSION = "1.9.17"
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: activefacts-metamodel
 version: !ruby/object:Gem::Version
-  version: 1.9.16
+  version: 1.9.17
 platform: ruby
 authors:
 - Clifford Heath
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2017-11-02 00:00:00.000000000 Z
+date: 2017-11-07 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler