Ada - Verbosity_Desired 在哪里定义?

Ada - where is Verbosity_Desired defined?

我正在查看 this example 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;

在我看来你不需要 with 任何东西......这可能只是为了展示,也许 Verbosity_Desired 是一个你可以自己定义的布尔值。

LRM 中的这个示例是关于异常以及如何获取有关它们的信息的,因此它可能只是证明您可以通过使用 Exceptions.Exception_Information.

获得更多的冗长信息