Class: AdLint::Cc1::DefinableTestEvidence

Inherits:

NontrivialTestEvidence

• Object
• TestEvidence
• NontrivialTestEvidence
• AdLint::Cc1::DefinableTestEvidence

Defined in:

lib/adlint/cc1/value.rb

Instance Attribute Summary

Attributes inherited from NontrivialTestEvidence

#negative_contribs, #positive_contribs

Instance Method Summary

• #initialize(pred, exact) ⇒ DefinableTestEvidence constructor

  NOTE: Context tracing feature will be mixed-in at trace.rb later.

Methods inherited from NontrivialTestEvidence

#add_negative_contributor, #add_positive_contributor, #fulfilled?

Methods inherited from TestEvidence

#emit_context_messages, #fulfilled?

Constructor Details

#initialize(pred, exact) ⇒ DefinableTestEvidence

NOTE: Context tracing feature will be mixed-in at trace.rb later.

# File 'lib/adlint/cc1/value.rb', line 1900

def initialize(pred, exact)
  super(exact)
  @predicate = pred
end