class Moguro::PostconditionContract

Public Class Methods

new(klass, callback, method) click to toggle source
Calls superclass method Moguro::Contract::new
# File lib/moguro/contract.rb, line 49
def initialize(klass, callback, method)
  super(klass, callback, method)
end

Public Instance Methods

extractor() click to toggle source
# File lib/moguro/contract.rb, line 61
def extractor
  @extractor ||= Moguro::Extractor::ReturnValueExtractor.new(
    @cb.parameters
  )
end
verify!(instance, args) click to toggle source
Calls superclass method Moguro::Contract#verify!
# File lib/moguro/contract.rb, line 53
def verify!(instance, args)
  super
rescue Moguro::Errors::TypeMismatchError => e
  raise Moguro::Errors::ReturnValueTypeMismatchError.new(e, @klass, method)
rescue => e
  raise e
end