The raise statement is as follows:
This statement will raise an exception. If it is specified, the exception instance must be an initialized instance of any class, which is the raise type. The exception address and frame are optional. If they are not specified, the compiler will provide the address by itself. If the exception instance is omitted, then the current exception is re-raised. This construct can only be used in an exception handling block (see further).
Remark: Control never returns after an exception block. The control is transferred to the first try...finally or try...except statement that is encountered when unwinding the stack. If no such statement is found, the Free Pascal Run-Time Library will generate a run-time error 217 (see also section 17.5, page 846). The exception address will be printed by the default exception handling routines.
As an example: The following division checks whether the denominator is zero, and if so, raises an exception of type EDivException
The class Exception is defined in the Sysutils unit of the rtl. (section 17.5, page 846)
Remark: Although the Exception class is used as the base class for exceptions throughout the code, this is just an unwritten agreement: the class can be of any type, and need not be a descendent of the Exception class.
Of course, most code depends on the unwritten agreement that an exception class descends from Exception.
The following code shows how to omit an error reporting routine from the stack shown in the exception handler:
The program, when run, will show a backtrace as follows:
Line 15 is in procedure Test2, not in Error, which actually raised the exception.