Exception handling Ada-详细性在哪里定义？

我正在研究Ada中异常处理的方法

对于所需的

详细性

，我需要用

做什么

   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;

在我看来，你不需要对任何东西进行
。。。这可能只是为了显示而已，也许
详细程度
是一个您可以自己定义的布尔值

LRM中的这个例子是关于异常以及如何获取有关异常的信息的，所以它可能只是演示了通过使用
异常可以获得更多的详细信息。异常信息对我来说不是一个格式良好的句子。你能换个说法吗？这些例子似乎来自Ada LRM，没有进一步的阐述。那么你的问题是什么呢？我的意思是，我必须与XXX
以及什么是
XXX
。我如何构建它（在我添加了一些代码，上面写着“…--文件系统中的调用操作”）呢？在某个地方有一个定义的详细信息：布尔；主要是？？你所需要做的就是根据你的意愿将其设置为真或假。在当前的LRM中，这是一个错误。是寻找Ada标准等的最好地方。我会接受这个答案。我想知道这是一个Ada全球系统还是什么。我只是对在测试手册中看到非编译代码感到惊讶和失望：-（好的，但是示例中也没有声明
Some_文件
。你必须在某个地方划清界限！@Mawg什么测试手册？它是标准的。该代码仅用于说明异常处理。