Re: Newbie with a question

[Jeffrey Carter <jrcarter@acm.org>]

Paul Storm wrote:
> 
> if ( Type_Is_Buffer and not Buffer_Found ) then
> 
>   Log_Error
>           (
>            Source            => Source,
>            Message           => "Put message here about missing buffer
> size" ,
>            Verbosity         => Default_Verbosity
>           ) ;
> 
>   raise Data_Point_Buffer_Size_Needed_Error ;
> 
> end if;
> 
> <end code>
> 
> If this section of code runs the exception is raised and execution
> abends.
> But the message is not put into the log.  Which should be done by the
> Log_Error call.
> 
> The Log_Error procedure is legacy code and works fine elsewhere in the
> program.

Program termination due to an unhandled exception is not really
abnormal. The Ada runtime should terminate the program normally when an
unhandled exception is raised.

However, what that means differs on different systems. On many desktop
and workstation systems, the runtime will close any open files before
terminating, but on some real-time systems this won't happen. Possibly
writing to the log is buffered and the buffer is not being written
before the program terminates. You can test this by handling the
exception at the top level and closing the log file before reraising the
exception, or by closing the log file before raising the exception.

It's also possible that your verbosity level results in the message not
being put in the log.

-- 
Jeff Carter
"You brightly-colored, mealy-templed, cranberry-smelling, electric
donkey-bottom biters."
Monty Python & the Holy Grail