class AdLint::Cc1::NontrivialTestEvidence

Attributes

negative_contribs[R]
positive_contribs[R]

Public Class Methods

new(exact) click to toggle source
# File lib/adlint/cc1/value.rb, line 1862
def initialize(exact)
  @exact = exact
  @positive_contribs = []
  @negative_contribs = []
end

Public Instance Methods

add_negative_contributor(mval) click to toggle source
# File lib/adlint/cc1/value.rb, line 1884
def add_negative_contributor(mval)
  @negative_contribs.push(mval)
end
add_positive_contributor(mval) click to toggle source
# File lib/adlint/cc1/value.rb, line 1880
def add_positive_contributor(mval)
  @positive_contribs.push(mval)
end
fulfilled?() click to toggle source
# File lib/adlint/cc1/value.rb, line 1871
def fulfilled?
  if @exact
    @negative_contribs.any? { |mval| mval._base.tag.traceable? }
  else
    @positive_contribs.any? { |mval| mval._base.tag.traceable? } &&
      @negative_contribs.any? { |mval| mval._base.tag.traceable? }
  end
end