Ада - где определяется Verbosity_Desired?

Question

Я смотрю на этот пример обработки исключений в Ada.

Что мне нужно with для Verbosity_Desired?

   with Ada.Text_IO;
   with Ada.Exceptions;
   with File_System; use File_System;
   use Ada;
   procedure Main is
   begin
       ... -- call operations in File_System
   exception
       when End_Of_File =>
           Close(Some_File);
       when Not_Found_Error : File_Not_Found =>
           Text_IO.Put_Line(Exceptions.Exception_Message(Not_Found_Error));
       when The_Error : others =>
           Text_IO.Put_Line("Unknown error:");
           if Verbosity_Desired then
               Text_IO.Put_Line(Exceptions.Exception_Information(The_Error));
           else
               Text_IO.Put_Line(Exceptions.Exception_Name(The_Error));
               Text_IO.Put_Line(Exceptions.Exception_Message(The_Error));
           end if;
           raise;
   end Main;

Answer 1

Мне кажется, вам не нужно ничего with ... это, вероятно, только для показа, и, возможно, Verbosity_Desired - это логическое значение, которое вы можете определить сами.

Этот пример из LRM посвящен исключениям и тому, как получить информацию о них, поэтому он, вероятно, просто демонстрирует, что вы можете получить больше многословия, используя Exceptions.Exception_Information.