module Proof::CoreExt::Object::Methods

Public Instance Methods

define_prove() click to toggle source
# File lib/proof/core_ext/object.rb, line 7
def define_prove
  ::Object.class_eval do
    def prove(&blk)
      obj_under_test = self
      Proof::Extend.into obj_under_test
      result = Proof::Execution.run Description.current, obj_under_test, blk
      result.write
    end
  end
end
prove(&blk) click to toggle source
# File lib/proof/core_ext/object.rb, line 9
def prove(&blk)
  obj_under_test = self
  Proof::Extend.into obj_under_test
  result = Proof::Execution.run Description.current, obj_under_test, blk
  result.write
end
undefine_prove() click to toggle source
# File lib/proof/core_ext/object.rb, line 18
def undefine_prove
  ::Object.class_eval do
    undef :prove
  end
end