Class: ActiveFacts::CQL::Compiler::RingConstraint
- Inherits:
-
Constraint
- Object
- Definition
- Constraint
- ActiveFacts::CQL::Compiler::RingConstraint
- Defined in:
- lib/activefacts/cql/compiler/constraint.rb
Constant Summary collapse
- Types =
%w{acyclic intransitive stronglyintransitive symmetric asymmetric transitive antisymmetric irreflexive reflexive}
- Pairs =
{ :stronglyintransitive => [:acyclic, :asymmetric, :symmetric], :intransitive => [:acyclic, :asymmetric, :symmetric], :transitive => [:acyclic], :acyclic => [:transitive], :irreflexive => [:symmetric] }
Instance Attribute Summary
Attributes inherited from Definition
#constellation, #tree, #vocabulary
Instance Method Summary collapse
- #compile ⇒ Object
-
#initialize(role_sequence, qualifiers) ⇒ RingConstraint
constructor
A new instance of RingConstraint.
- #to_s ⇒ Object
Methods inherited from Constraint
#bind_clauses, #common_bindings, #loose_bind, #loose_bind_wherever_possible, #loose_binding, #warn_ignored_queries
Methods inherited from Definition
#all_bindings_in_clauses, #assert_literal_value, #build_all_steps, #build_step, #build_variables, #source
Constructor Details
#initialize(role_sequence, qualifiers) ⇒ RingConstraint
Returns a new instance of RingConstraint.
454 455 456 457 458 459 |
# File 'lib/activefacts/cql/compiler/constraint.rb', line 454 def initialize role_sequence, qualifiers super nil, nil @role_sequence = role_sequence @rings, rest = qualifiers.partition{|q| Types.include?(q) } qualifiers.replace rest end |
Instance Method Details
#compile ⇒ Object
461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 |
# File 'lib/activefacts/cql/compiler/constraint.rb', line 461 def compile # Process the ring constraints: return if @rings.empty? role_refs = @role_sequence.all_role_ref_in_order.to_a supertypes_by_position = role_refs. map do |role_ref| role_ref.role.object_type.supertypes_transitive end role_pairs = [] supertypes_by_position.each_with_index do |sts, i| (i+1...supertypes_by_position.size).each do |j| common_supertype = (sts & supertypes_by_position[j])[0] role_pairs << [role_refs[i], role_refs[j], common_supertype] if common_supertype end end if role_pairs.size > 1 # REVISIT: Verbalise the role_refs better: raise "ambiguous #{@rings*' '} ring constraint, consider #{role_pairs.map{|rp| "#{rp[0].inspect}<->#{rp[1].inspect}"}*', '}" end if role_pairs.size == 0 raise "No matching role pair found for #{@rings*' '} ring constraint over #{role_refs.map(&:role).map(&:object_type).map(&:name).inspect}" end rp = role_pairs[0] # Ensure that the keys in Pairs follow others: @rings = @rings.partition{|rc| !Pairs.keys.include?(rc.downcase.to_sym) }.flatten if @rings.size > 1 and !(p = Pairs[@rings[-1].to_sym]) and !p.include?(@rings[0].to_sym) raise "incompatible ring constraint types (#{@rings*", "})" end ring_type = @rings.map{|c| c.capitalize}*"" @constraint = @constellation.RingConstraint( :new, :vocabulary => @vocabulary, # :name => name, # Create a name for Ring Constraints? :role => rp[0].role, :other_role => rp[1].role, :ring_type => ring_type ) trace :constraint, "Added #{@constraint.verbalise}" super end |
#to_s ⇒ Object
508 509 510 |
# File 'lib/activefacts/cql/compiler/constraint.rb', line 508 def to_s "#{super} #{@rings*','} over #{@clauses_lists.inspect}" end |