INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "MESSAGE_HANDLER"
project: "Visual Eiffel Library"
revision: "$Revision: 1.2 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: gmsgs
class MESSAGE_HANDLER
inherit

ABSTRACT_MESSAGE_CODES
end
creation

make_open
feature {NONE}-- Creation

make_open (message_file_name: STRING; message_codes: GENERATED_MESSAGE_CODES)
require
message_file_name /= void
message_codes /= void
feature -- Status report

has_error: BOOLEAN
-- Has error been encountered?

error: STRING
-- Error text
require
has_error
ensure
Result /= void

file_name: STRING
invariant

valid_error_code: error_code = no_error or error_code = can_not_open_file or error_code = invalid_str_count or error_code = invalid_file_format
end -- class MESSAGE_HANDLER

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES