INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES
indexing
title:
"Support for project errors handling"
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
PROJECT_MESSAGE
[
G
->
MESSAGE
]
creation
make
feature
make
(
file_name
:
STRING
;
message_codes
:
GENERATED_MESSAGE_CODES
)
require
file_name
/=
void
message_codes
/=
void
ensure
messages
/=
void
create_handler
(
file_name
:
STRING
;
message_codes
:
GENERATED_MESSAGE_CODES
):
MESSAGE_HANDLER
-- Create message handler
reset
display
(
header
,
footer
:
STRING
)
display_message
(
m
:
G
)
has_messages_for_print
:
BOOLEAN
add
(
m
:
G
)
message
(
id
:
INTEGER
;
text
:
ARRAY
[
ANY
])
messages_count
:
INTEGER
enable
(
message_id
:
INTEGER
)
disable
(
message_id
:
INTEGER
)
disable_type
(
type
:
CHARACTER
)
enable_type
(
type
:
CHARACTER
)
set_echo
(
on
:
BOOLEAN
)
set_max_error_count
(
cnt
:
INTEGER
)
stop_after_n_errors
messages
:
ARRAY
[
G
]
errors_count
:
INTEGER
handler
:
MESSAGE_HANDLER
invariant
not_void_messages
:
messages
/=
void
end
-- class
PROJECT_MESSAGE
INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES