Method: AdLint::Cc1::MultipleValue#test_may_be_true

Defined in:
lib/adlint/cc1/value.rb

#test_may_be_true ⇒ Object 



2427
2428
2429
2430
2431
2432
2433
2434
2435
2436
2437
2438
2439
 
# File 'lib/adlint/cc1/value.rb', line 2427

def test_may_be_true
  pred = lambda { |val| val.test_may_be_true.true? }
  evid = DefinableTestEvidence.new(pred, false)
  effective_values.each do |mval|
    if pred.call(mval._base.value)
      evid.add_positive_contributor(mval)
    else
      evid.add_negative_contributor(mval)
    end
    break if evid.fulfilled?
  end
  NontrivialValueTest.new(evid, false)
end