class AdLint::Cc1::DefinableTestEvidence
Public Class Methods
new(pred, exact)
click to toggle source
NOTE: Context tracing feature will be mixed-in at trace.rb later.
Calls superclass method
AdLint::Cc1::NontrivialTestEvidence::new
# File lib/adlint/cc1/value.rb, line 1900 def initialize(pred, exact) super(exact) @predicate = pred end