Next: RM 11 5 28 Suppression of Checks, Previous: RM 10 2 1 12 Consistent Representation, Up: Implementation Advice [Contents][Index]
“
Exception_Message
by default andException_Information
should produce information useful for debugging.Exception_Message
should be short, about one line.Exception_Information
can be long.Exception_Message
should not include theException_Name
.Exception_Information
should include both theException_Name
and theException_Message
.”
Followed. For each exception that doesn’t have a specified
Exception_Message
, the compiler generates one containing the location
of the raise statement. This location has the form ‘file_name:line’, where
file_name is the short file name (without path information) and line is the line
number in the file. Note that in the case of the Zero Cost Exception
mechanism, these messages become redundant with the Exception_Information that
contains a full backtrace of the calling sequence, so they are disabled.
To disable explicitly the generation of the source location message, use the
Pragma Discard_Names
.