From 61665a183e94cf8edaebb336c34df24a02ef45fd Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 21 Aug 2022 10:39:12 +0200
Subject: simul: rework assertions execution and error handling

---
 src/synth/elab-debugger.ads | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/synth/elab-debugger.ads')

diff --git a/src/synth/elab-debugger.ads b/src/synth/elab-debugger.ads
index cc456dfc1..bb8f91f90 100644
--- a/src/synth/elab-debugger.ads
+++ b/src/synth/elab-debugger.ads
@@ -45,8 +45,14 @@ package Elab.Debugger is
 
    --  To be called in case of execution error, like:
    --  * index out of bounds.
+   --  * assertion failuere
    procedure Debug_Error (Inst : Synth_Instance_Acc; Expr : Node);
 
+   --  Hook called in case of fatal error.
+   type Error_Hook_Type is access procedure;
+   pragma Convention (C, Error_Hook_Type);
+   Error_Hook : Error_Hook_Type;
+
    function Debug_Current_Instance return Synth_Instance_Acc;
 
    type Menu_Procedure is access procedure (Line : String);
-- 
cgit v1.2.3