-- Here's an example of the use of the Exception Interceptor.
-- Step through this program in the debugger to see how it works.

With Exception_interceptor; Use Exception_interceptor;
Procedure Example is

   Frame: Frame_type;
   Signal_array, Mechanism_array: Exception_array_pointer_type;
   I, J: Integer;

begin

   -- Enable the interceptor for this call frame.
   Frame := Exception_interceptor.Enable;

   -- Generate an exception...
   J := 0;
   I := I / J;

   -- If there weren't an exception, we would do this:
   Exception_interceptor.Disable;
   Return;

exception when others =>

   -- Get the arrays.
   Exception_interceptor.Retrieve ( Frame, Signal_array, Mechanism_array );

   -- <In a real program we would do something here>

   -- Now free the arrays.
   Exception_interceptor.Free ( Frame );

   Return;

end;