class Proof::Error
Public Class Methods
output(error)
click to toggle source
# File lib/proof/error.rb, line 7 def self.output(error) instance = new error instance.output end
Public Instance Methods
backtrace()
click to toggle source
# File lib/proof/error.rb, line 12 def backtrace @backtrace ||= Extension.!(@error.backtrace, Backtrace) end
error_message()
click to toggle source
# File lib/proof/error.rb, line 22 def error_message "(#{error.class}) \"#{error.message}\" at #{backtrace.first_frame}" end
output()
click to toggle source
# File lib/proof/error.rb, line 16 def output backtrace.remove_proof_framework_frames! Output.error error_message Output.backtrace " #{backtrace.join("\n ")}" end