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