Определение, почему утверждение Ада не удалось

Question

Если утверждение не выполняется, я получаю следующий вывод:

поднял SYSTEM.ASSERTIONS.ASSERT_FAILURE: Ошибка динамического предиката в файле file.adb:36

Могу ли я получить более подробную информацию? Например, что это был за ввод, или, возможно, трассировка стека, или что-нибудь еще, что могло бы помочь мне определить, почему утверждение не удалось?

Answer 1

Вы можете перехватить System.Assertions.Assert_Failure для печати трассировки стека с использованием пакета GNAT.Traceback (если вы используете GNAT) или значений печати.

Как то тут

pragma Assertion_Policy(CHECK);

with Ada.Text_IO; use Ada.Text_IO;
with GNAT.Traceback;
with System.Assertions;
with GNAT.Traceback.Symbolic;
procedure Main is
   procedure Call_Stack is
      Trace  : GNAT.Traceback.Tracebacks_Array (1..1_000);
      Length : Natural;
   begin
      GNAT.Traceback.Call_Chain (Trace, Length);
      Put_Line (GNAT.Traceback.Symbolic.Symbolic_Traceback (Trace (1..Length)));
   end Call_Stack; 
   type Day is new String (1 .. 10);
   type Message is record
      Sent     : Day;
      Received : Day;
   end record with
     Dynamic_Predicate => Message.Sent <= Message.Received;
   M : Message;
begin
   M  := (Received => "1776-07-04", Sent => "1783-09-03");
exception
   when System.Assertions.Assert_Failure =>
      Call_Stack;
      Put_Line(String(M.Sent));
      Put_Line(String(M.Received));
end Main;

Или вы можете отладить вашу программу, как я упоминал в комментарии