INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Standard tool for creating error reports"
project: "Visual Eiffel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: registry
class REGISTRY_ERROR_HANDLER
inherit

EXCEPTIONS
export
{NONE}
all
end
feature -- Operations

error_report (obj: ANY; routine_name: STRING; err_code: INTEGER)
-- Raise exception, containing information about object and
-- failed routine, along with error code.
-- Message has the following form:
-- "FAULTY_OBJECT.crash" failed with code #666
require
correct_obj: obj /= void
correct_routine_name: routine_name /= void
end -- class REGISTRY_ERROR_HANDLER

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES