Class: ActiveFacts::CQL::Compiler::SetConstraint

Inherits:
Constraint show all
Defined in:
lib/activefacts/cql/compiler/constraint.rb

Direct Known Subclasses

SetComparisonConstraint, SubsetConstraint

Instance Attribute Summary

Attributes inherited from Definition

#constellation, #tree, #vocabulary

Instance Method Summary collapse

Methods inherited from Constraint

#bind_clauses, #common_bindings, #compile, #loose_bind, #loose_bind_wherever_possible, #loose_binding, #to_s

Methods inherited from Definition

#all_bindings_in_clauses, #assert_literal_value, #build_all_steps, #build_step, #build_variables, #compile, #source, #to_s

Constructor Details

#initialize(context_note, enforcement, clauses_lists) ⇒ SetConstraint

Returns a new instance of SetConstraint.



273
274
275
 
# File 'lib/activefacts/cql/compiler/constraint.rb', line 273

def initialize context_note, enforcement, clauses_lists
  super context_note, enforcement, clauses_lists
end

Instance Method Details

#role_sequences_for_common_bindings(ignore_trailing_steps = false) ⇒ Object 



281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
 
# File 'lib/activefacts/cql/compiler/constraint.rb', line 281

def role_sequences_for_common_bindings ignore_trailing_steps = false
  @clauses_lists.
      zip(@bindings_by_list).
      map do |clauses_list, bindings|
    # Does this clauses_list involve a query?
    if clauses_list.size > 1 or
      clauses_list.detect do |clause|
        clause.refs.detect{|ref| ref.nested_clauses } or
        clause.includes_literals
      end

      trace :query, "Building query for #{clauses_list.inspect}" do
        trace :query, "Constrained bindings are #{@common_bindings.inspect}"
        # Every Binding in these clauses becomes a Variable,
        # and every clause becomes a Step (and a RoleSequence).
        # The returned RoleSequences contains the RoleRefs for the common_bindings.

        # Create a query with a variable for every binding and all steps:
        query = build_variables(clauses_list)
        roles_by_binding = build_all_steps(query, clauses_list)
        query.validate

        # Create the projected RoleSequence for the constraint:
        role_sequence = @constellation.RoleSequence(:new)
        @common_bindings.each do |binding|
          role, play = *roles_by_binding[binding]
          @constellation.RoleRef(role_sequence, role_sequence.all_role_ref.size, :role => role, :play => play)
        end

        role_sequence
      end
    else
      # There's no query in this clauses_list, just create a role_sequence
      role_sequence = @constellation.RoleSequence(:new)
      query_bindings = bindings-@common_bindings
      unless query_bindings.empty? or ignore_trailing_steps && query_bindings.size <= 1
        trace :constraint, "REVISIT: #{self.class}: Ignoring query from #{@common_bindings.inspect} to #{query_bindings.inspect} in #{clauses_list.inspect}"
      end
      @common_bindings.each do |binding|
        roles = clauses_list.
          map do |clause|
            clause.refs.detect{|vr| vr.binding == binding }
          end.
          compact.  # A query clause will probably not have the common binding
          map do |ref|
            ref.role_ref && ref.role_ref.role or ref.role
          end.
          compact
        # REVISIT: Should use clause side effects to preserve residual adjectives here.
        @constellation.RoleRef(role_sequence, role_sequence.all_role_ref.size, :role => roles[0])
      end
      role_sequence
    end
  end
end

#warn_ignored_queries ⇒ Object 



277
278
279
 
# File 'lib/activefacts/cql/compiler/constraint.rb', line 277

def warn_ignored_queries
  # No warnings needed here any more
end