class ERROR_HANDLER
Summary
Overview
exported features
error_counter: INTEGER_32
writable attribute
Global counters.
warning_counter: INTEGER_32
writable attribute
Global counters.
no_warning: BOOLEAN
writable attribute
To avoid warning messages.
is_empty: BOOLEAN
effective function
True when nothing stored in explanation and positions.
set_no_warning
effective procedure
append (s: STRING)
effective procedure
Append text s to the current explanation.
append_integer (i: INTEGER_32)
effective procedure
Append integer i to the current explanation.
extend (c: CHARACTER)
effective procedure
Append c to the current explanation.
add_position (p: POSITION)
effective procedure
If necessary, add p to the already known positions.
add_type_mark (type_mark: TYPE_MARK)
effective procedure
add_type (type: TYPE)
effective procedure
add_expression (expression: EXPRESSION)
effective procedure
Add a piece of expression in the message.
add_feature_name (fn: FEATURE_NAME)
effective procedure
Useful to show fn which may be an infix or a prefix name as well as an ordinary feature name.
add_context_info (ct: TYPE_MARK)
effective procedure
print_as_warning
effective procedure
Print explanation as a Warning report.
print_as_error
effective procedure
Print explanation as an Error report.
print_as_fatal_error
effective procedure
Print explanation as a Fatal Error.
print_as_internal_error
effective procedure
Print explanation as an Internal Error.
cancel
effective procedure
Cancel a prepared report without printing it.
cancel_positions
effective procedure
Cancel only the positions, keeping the Message.
when_fatal_error (a_action: PROCEDURE[TUPLE])
effective procedure