Module: AdLint::Cc1::ContextTracing

Included in:
DefinableContextTracing, NegativePathsTracing, NullabilityContextTracing, UndefinableContextTracing
Defined in:
lib/adlint/cc1/trace.rb

Instance Method Summary collapse

Instance Method Details

#sample_positive_transition ⇒ Object 



49
50
51
52
53
54
55
 
# File 'lib/adlint/cc1/trace.rb', line 49

def sample_positive_transition
  if contrib = traceable_positive_contribs.first
    contrib.transition
  else
    nil
  end
end

#traceable_negative_contribs ⇒ Object 



45
46
47
 
# File 'lib/adlint/cc1/trace.rb', line 45

def traceable_negative_contribs
  negative_contribs.select { |mval| mval.transition.last.tag.traceable? }
end

#traceable_positive_contribs ⇒ Object

NOTE: Host class of this module must respond to #positive_contribs and

#negative_contribs.



41
42
43
 
# File 'lib/adlint/cc1/trace.rb', line 41

def traceable_positive_contribs
  positive_contribs.select { |mval| mval.transition.last.tag.traceable? }
end