- 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 STANDARD_MESSAGES [G -> MESSAGE]
- inherit
-
PROJECT_MESSAGE
[G]
-
- redefine
- display_message,
- make,
- print
- end
-
OUTPUT_SERVER
-
- redefine
- print
- end
- creation
- make
- feature
-
make (file_name: STRING; message_codes: GENERATED_MESSAGE_CODES)
-
display_message (m: G)
-
set_width (w: INTEGER)
-
set_output_mode (file_name: STRING; mode: CHARACTER)
-
- require
-
valid_mode:
mode = 's' or mode = 'f' or mode = 'b' or mode = 'n'
-
not_void_file_name:
(mode = 'f' or mode = 'b') implies (file_name /= void)
-
error (name: INTEGER; text: ARRAY [ANY])
-
warning (name: INTEGER; text: ARRAY [ANY])
-
info (name: INTEGER; text: ARRAY [ANY])
-
print (obj: ANY)
end -- class STANDARD_MESSAGES