Class: Hypothesis::Engine

Inherits:
Object
  • Object
show all
Defined in:
lib/hypothesis/engine.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(name, options) ⇒ Engine

Returns a new instance of Engine.



12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
# File 'lib/hypothesis/engine.rb', line 12

def initialize(name, options)
  seed = Random.rand(2**64 - 1)

  database = options.fetch(:database, nil)

  database = DEFAULT_DATABASE_PATH if database.nil?

  database = nil if database == false

  @core_engine = HypothesisCoreEngine.new(
    name,
    database,
    seed,
    options.fetch(:max_examples),
    options.fetch(:phases)
  )

  @exceptions_to_tags = Hash.new { |h, k| h[k] = h.size }
end

Instance Attribute Details

#current_source ⇒ Object (readonly)

Returns the value of attribute current_source.



9
10
11
 
# File 'lib/hypothesis/engine.rb', line 9

def current_source
  @current_source
end

#is_find ⇒ Object

Returns the value of attribute is_find.



10
11
12
 
# File 'lib/hypothesis/engine.rb', line 10

def is_find
  @is_find
end

Instance Method Details

#run ⇒ Object 



32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
 
# File 'lib/hypothesis/engine.rb', line 32

def run
  loop do
    core = @core_engine.new_source
    break if core.nil?
    @current_source = TestCase.new(core)
    begin
      result = yield(@current_source)
      if is_find && result
        @core_engine.finish_interesting(core, 0)
      else
        @core_engine.finish_valid(core)
      end
    rescue UnsatisfiedAssumption
      @core_engine.finish_invalid(core)
    rescue DataOverflow
      @core_engine.finish_overflow(core)
    rescue Exception => e
      raise if is_find
      key = [
        e.class,
        HypothesisJunkDrawer.find_first_relevant_line(e.backtrace)
      ]
      @core_engine.finish_interesting(core, @exceptions_to_tags[key])
    end
  end
  if @core_engine.count_failing_examples.zero?
    raise Unsatisfiable if @core_engine.was_unsatisfiable
    @current_source = nil
    return
  end

  if is_find
    core = @core_engine.failing_example(0)
    @current_source = TestCase.new(core, record_draws: true)
    yield @current_source
  else
    exceptions = []
    (0...@core_engine.count_failing_examples).each do |example|
      core = @core_engine.failing_example(example)
      @current_source = TestCase.new(core, print_draws: true)

      begin
        yield @current_source
      rescue Exception => e
        givens = @current_source.print_log
        given_str = givens.each_with_index.map do |(name, s), i|
          name = "##{i + 1}" if name.nil?
          "Given #{name}: #{s}"
        end.to_a

        if e.respond_to? :hypothesis_data
          e.hypothesis_data[0] = given_str
        else
          original_to_s = e.to_s
          original_inspect = e.inspect

          class <<e
            attr_accessor :hypothesis_data

            def to_s
              ['', hypothesis_data[0], '', hypothesis_data[1]].join("\n")
            end

            def inspect
              ['', hypothesis_data[0], '', hypothesis_data[2]].join("\n")
            end
          end
          e.hypothesis_data = [given_str, original_to_s, original_inspect]
        end
        raise e if @core_engine.count_failing_examples == 1
        exceptions.push(e)
      end
    end
    raise Hypothesis::MultipleExceptionError.new(*exceptions)
  end
end