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