Class: Contract

Inherits:
Contracts::Decorator show all
Defined in:
lib/contracts.rb

Overview

This is the main Contract class. When you write a new contract, you’ll write it as:

Contract [contract names] => return_value

This class also provides useful callbacks and a validation method.

Constant Summary collapse

DEFAULT_FAILURE_CALLBACK =

Default implementation of failure_callback. Provided as a block to be able to monkey patch #failure_callback only temporary and then switch it back. First important usage - for specs.

proc do |data|
  fail data[:contracts].failure_exception.new(failure_msg(data), data)
end

Instance Attribute Summary collapse

Class Method Summary collapse

Instance Method Summary collapse

Methods inherited from Contracts::Decorator

inherited

Constructor Details

#initialize(klass, method, *contracts) ⇒ Contract 



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
108
109
110
111
112
113
114
115
116
117
118
119
120
 
# File 'lib/contracts.rb', line 80

def initialize(klass, method, *contracts)
  if contracts[-1].is_a? Hash
    # internally we just convert that return value syntax back to an array
    @args_contracts = contracts[0, contracts.size - 1] + contracts[-1].keys
    @ret_contract = contracts[-1].values[0]
  else
    fail %{
      It looks like your contract for #{method} doesn't have a return value.
      A contract should be written as `Contract arg1, arg2 => return_value`.
    }.strip
  end

  @args_validators = args_contracts.map do |contract|
    Contract.make_validator(contract)
  end

  @args_contract_index = args_contracts.index do |contract|
    contract.is_a? Contracts::Args
  end

  @ret_validator = Contract.make_validator(ret_contract)

  # == @has_proc_contract
  last_contract = args_contracts.last
  is_a_proc = last_contract.is_a?(Class) && (last_contract <= Proc || last_contract <= Method)

  @has_proc_contract = is_a_proc || last_contract.is_a?(Contracts::Func)
  # ====

  # == @has_options_contract
  last_contract = args_contracts.last
  penultimate_contract = args_contracts[-2]
  @has_options_contract = if @has_proc_contract
                            penultimate_contract.is_a?(Hash)
                          else
                            last_contract.is_a?(Hash)
                          end
  # ===

  @klass, @method = klass, method
end

Instance Attribute Details

#args_contracts ⇒ Object (readonly)

Returns the value of attribute args_contracts.



79
80
81
 
# File 'lib/contracts.rb', line 79

def args_contracts
  @args_contracts
end

#klass ⇒ Object (readonly)

Returns the value of attribute klass.



79
80
81
 
# File 'lib/contracts.rb', line 79

def klass
  @klass
end

#method ⇒ Object (readonly)

Returns the value of attribute method.



79
80
81
 
# File 'lib/contracts.rb', line 79

def method
  @method
end

#ret_contract ⇒ Object (readonly)

Returns the value of attribute ret_contract.



79
80
81
 
# File 'lib/contracts.rb', line 79

def ret_contract
  @ret_contract
end

Class Method Details

.failure_callback(data, use_pattern_matching = true) ⇒ Object

Callback for when a contract fails. By default it raises an error and prints detailed info about the contract that failed. You can also monkeypatch this callback to do whatever you want…log the error, send you an email, print an error message, etc.

Example of monkeypatching:

def Contract.failure_callback(data)
  puts "You had an error!"
  puts failure_msg(data)
  exit
end



167
168
169
170
171
172
173
 
# File 'lib/contracts.rb', line 167

def self.failure_callback(data, use_pattern_matching = true)
  if data[:contracts].pattern_match? && use_pattern_matching
    return DEFAULT_FAILURE_CALLBACK.call(data)
  end

  fetch_failure_callback.call(data)
end

.failure_msg(data) ⇒ Object

Given a hash, prints out a failure message. This function is used by the default #failure_callback method and uses the hash passed into the failure_callback method.



135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
 
# File 'lib/contracts.rb', line 135

def self.failure_msg(data)
  expected = Contracts::Formatters::Expected.new(data[:contract]).contract
  position = Contracts::Support.method_position(data[:method])
  method_name = Contracts::Support.method_name(data[:method])

  header = if data[:return_value]
             "Contract violation for return value:"
           else
             "Contract violation for argument #{data[:arg_pos]} of #{data[:total_args]}:"
           end

  %{#{header}
      Expected: #{expected},
      Actual: #{data[:arg].inspect}
      Value guarded in: #{data[:class]}::#{method_name}
      With Contract: #{data[:contracts]}
      At: #{position} }
end

.fetch_failure_callback ⇒ Object 



195
196
197
 
# File 'lib/contracts.rb', line 195

def self.fetch_failure_callback
  @failure_callback ||= DEFAULT_FAILURE_CALLBACK
end

.make_validator(contract) ⇒ Object

This is a little weird. For each contract we pre-make a proc to validate it so we don’t have to go through this decision tree every time. Seems silly but it saves us a bunch of time (4.3sec vs 5.2sec)



214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
 
# File 'lib/contracts.rb', line 214

def self.make_validator(contract)
  # if is faster than case!
  klass = contract.class
  if klass == Proc
    # e.g. lambda {true}
    contract
  elsif klass == Array
    # e.g. [Num, String]
    # TODO: account for these errors too
    lambda do |arg|
      return false unless arg.is_a?(Array) && arg.length == contract.length
      arg.zip(contract).all? do |_arg, _contract|
        Contract.valid?(_arg, _contract)
      end
    end
  elsif klass == Hash
    # e.g. { :a => Num, :b => String }
    lambda do |arg|
      return false unless arg.is_a?(Hash)
      contract.keys.all? do |k|
        Contract.valid?(arg[k], contract[k])
      end
    end
  elsif klass == Contracts::Args
    lambda do |arg|
      Contract.valid?(arg, contract.contract)
    end
  elsif klass == Contracts::Func
    lambda do |arg|
      arg.is_a?(Method) || arg.is_a?(Proc)
    end
  else
    # classes and everything else
    # e.g. Fixnum, Num
    if contract.respond_to? :valid?
      lambda { |arg| contract.valid?(arg) }
    elsif klass == Class
      lambda { |arg| arg.is_a?(contract) }
    else
      lambda { |arg| contract == arg }
    end
  end
end

.override_failure_callback(&blk) ⇒ Object

Used to override failure_callback without monkeypatching.

Takes: block parameter, that should accept one argument - data.

Example usage:

Contract.override_failure_callback do |data|
  puts "You had an error"
  puts failure_msg(data)
  exit
end



186
187
188
 
# File 'lib/contracts.rb', line 186

def self.override_failure_callback(&blk)
  @failure_callback = blk
end

.restore_failure_callback ⇒ Object

Used to restore default failure callback



191
192
193
 
# File 'lib/contracts.rb', line 191

def self.restore_failure_callback
  @failure_callback = DEFAULT_FAILURE_CALLBACK
end

.valid?(arg, contract) ⇒ Boolean

Used to verify if an argument satisfies a contract.

Takes: an argument and a contract.

Returns: a tuple: [Boolean, metadata]. The boolean indicates whether the contract was valid or not. If it wasn’t, metadata contains some useful information about the failure.



206
207
208
 
# File 'lib/contracts.rb', line 206

def self.valid?(arg, contract)
  make_validator(contract)[arg]
end

Instance Method Details

#[](*args, &blk) ⇒ Object 



258
259
260
 
# File 'lib/contracts.rb', line 258

def [](*args, &blk)
  call(*args, &blk)
end

#call(*args, &blk) ⇒ Object 



262
263
264
 
# File 'lib/contracts.rb', line 262

def call(*args, &blk)
  call_with(nil, *args, &blk)
end

#call_with(this, *args, &blk) ⇒ Object 



288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
 
# File 'lib/contracts.rb', line 288

def call_with(this, *args, &blk)
  args << blk if blk

  # Explicitly append blk=nil if nil != Proc contract violation anticipated
  maybe_append_block!(args, blk)

  # Explicitly append options={} if Hash contract is present
  maybe_append_options!(args, blk)

  # Loop forward validating the arguments up to the splat (if there is one)
  (@args_contract_index || args.size).times do |i|
    contract = args_contracts[i]
    arg = args[i]
    validator = @args_validators[i]

    unless validator && validator[arg]
      return unless Contract.failure_callback(:arg => arg,
                                              :contract => contract,
                                              :class => klass,
                                              :method => method,
                                              :contracts => self,
                                              :arg_pos => i+1,
                                              :total_args => args.size)
    end

    if contract.is_a?(Contracts::Func)
      args[i] = Contract.new(klass, arg, *contract.contracts)
    end
  end

  # If there is a splat loop backwards to the lower index of the splat
  # Once we hit the splat in this direction set its upper index
  # Keep validating but use this upper index to get the splat validator.
  if @args_contract_index
    splat_upper_index = @args_contract_index
    (args.size - @args_contract_index).times do |i|
      arg = args[args.size - 1 - i]

      if args_contracts[args_contracts.size - 1 - i].is_a?(Contracts::Args)
        splat_upper_index = i
      end

      # Each arg after the spat is found must use the splat validator
      j = i < splat_upper_index ? i : splat_upper_index
      contract = args_contracts[args_contracts.size - 1 - j]
      validator = @args_validators[args_contracts.size - 1 - j]

      unless validator && validator[arg]
        return unless Contract.failure_callback(:arg => arg,
                                                :contract => contract,
                                                :class => klass,
                                                :method => method,
                                                :contracts => self,
                                                :arg_pos => i-1,
                                                :total_args => args.size)
      end

      if contract.is_a?(Contracts::Func)
        args[args.size - 1 - i] = Contract.new(klass, arg, *contract.contracts)
      end
    end
  end

  # If we put the block into args for validating, restore the args
  args.slice!(-1) if blk
  result = if method.respond_to?(:call)
             # proc, block, lambda, etc
             method.call(*args, &blk)
           else
             # original method name referrence
             method.send_to(this, *args, &blk)
           end

  unless @ret_validator[result]
    Contract.failure_callback(:arg => result,
                              :contract => ret_contract,
                              :class => klass,
                              :method => method,
                              :contracts => self,
                              :return_value => true)
  end

  this.verify_invariants!(method) if this.respond_to?(:verify_invariants!)

  result
end

#failure_exception ⇒ Object

Used to determine type of failure exception this contract should raise in case of failure



376
377
378
379
380
381
382
 
# File 'lib/contracts.rb', line 376

def failure_exception
  if @pattern_match
    PatternMatchingError
  else
    ContractError
  end
end

#maybe_append_block!(args, blk) ⇒ Object

a better way to handle this might be to take this into account before throwing a “mismatched # of args” error.



272
273
274
275
276
 
# File 'lib/contracts.rb', line 272

def maybe_append_block! args, blk
  return unless @has_proc_contract && !blk &&
      (@args_contract_index || args.size < args_contracts.size)
  args << nil
end

#maybe_append_options!(args, blk) ⇒ Object

Same thing for when we have named params but didn’t pass any in.



279
280
281
282
283
284
285
286
 
# File 'lib/contracts.rb', line 279

def maybe_append_options! args, blk
  return unless @has_options_contract
  if @has_proc_contract && args_contracts[-2].is_a?(Hash) && !args[-2].is_a?(Hash)
    args.insert(-2, {})
  elsif args_contracts[-1].is_a?(Hash) && !args[-1].is_a?(Hash)
    args << {}
  end
end

#pattern_match! ⇒ Object

Used internally to mark contract as pattern matching contract



386
387
388
 
# File 'lib/contracts.rb', line 386

def pattern_match!
  @pattern_match = true
end

#pattern_match? ⇒ Boolean

Used to determine if contract is a pattern matching contract



391
392
393
 
# File 'lib/contracts.rb', line 391

def pattern_match?
  @pattern_match
end

#pretty_contract(c) ⇒ Object 



122
123
124
 
# File 'lib/contracts.rb', line 122

def pretty_contract c
  c.is_a?(Class) ? c.name : c.class.name
end

#to_s ⇒ Object 



126
127
128
129
130
 
# File 'lib/contracts.rb', line 126

def to_s
  args = args_contracts.map { |c| pretty_contract(c) }.join(", ")
  ret = pretty_contract(ret_contract)
  ("#{args} => #{ret}").gsub("Contracts::", "")
end