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