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