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