aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/elab-debugger.ads
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2022-08-21 10:39:12 +0200
committerTristan Gingold <tgingold@free.fr>2022-08-21 10:39:12 +0200
commit61665a183e94cf8edaebb336c34df24a02ef45fd (patch)
tree27a723c64906a5f7293e47e9cb27c62ca3b33574 /src/synth/elab-debugger.ads
parent068988b5f9132ae11ee65ca75ac6e56bc8f2f530 (diff)
downloadghdl-61665a183e94cf8edaebb336c34df24a02ef45fd.tar.gz
ghdl-61665a183e94cf8edaebb336c34df24a02ef45fd.tar.bz2
ghdl-61665a183e94cf8edaebb336c34df24a02ef45fd.zip
simul: rework assertions execution and error handling
Diffstat (limited to 'src/synth/elab-debugger.ads')
-rw-r--r--src/synth/elab-debugger.ads6
1 files changed, 6 insertions, 0 deletions
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);