1 files changed, 90 insertions, 0 deletions
diff --git a/src/simulate/debugger.ads b/src/simulate/debugger.ads
new file mode 100644
index 000000000..5e8c7ac67
--- /dev/null
+++ b/src/simulate/debugger.ads
@@ -0,0 +1,90 @@
+--  Debugger for interpreter
+--  Copyright (C) 2014 Tristan Gingold
+--
+--  GHDL is free software; you can redistribute it and/or modify it under
+--  the terms of the GNU General Public License as published by the Free
+--  Software Foundation; either version 2, or (at your option) any later
+--  version.
+--
+--  GHDL is distributed in the hope that it will be useful, but WITHOUT ANY
+--  WARRANTY; without even the implied warranty of MERCHANTABILITY or
+--  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+--  for more details.
+--
+--  You should have received a copy of the GNU General Public License
+--  along with GHDL; see the file COPYING.  If not, write to the Free
+--  Software Foundation, 59 Temple Place - Suite 330, Boston, MA
+--  02111-1307, USA.
+
+with Elaboration; use Elaboration;
+with Iirs; use Iirs;
+
+package Debugger is
+   Flag_Need_Debug : Boolean := False;
+
+   -- Disp a message for a constraint error.
+   -- And raise the exception execution_constraint_error.
+   procedure Error_Msg_Constraint (Expr: Iir);
+   pragma No_Return (Error_Msg_Constraint);
+
+   -- Disp a message during execution.
+   procedure Error_Msg_Exec (Msg: String; Loc: Iir);
+   pragma No_Return (Error_Msg_Exec);
+
+   procedure Warning_Msg_Exec (Msg: String; Loc: Iir);
+
+   --  Disp a block instance, in a human readable way.
+   --  Used to debug.
+   procedure Disp_Block_Instance (Instance: Block_Instance_Acc);
+
+   -- Disp the instance tree.
+   procedure Disp_Instances_Tree;
+
+   --  Disp the name of an instance, without newline.  The name of
+   --  architectures is displayed unless Short is True.
+   procedure Disp_Instance_Name (Instance: Block_Instance_Acc;
+                                 Short : Boolean := False);
+
+   -- Disp the resulting processes of elaboration.
+   -- procedure Disp_Processes;
+
+   --  Disp the label of PROCESS, or <unlabeled> if PROCESS has no label.
+   procedure Disp_Label (Process : Iir);
+
+   --  Disp all signals name and values.
+   procedure Disp_Signals_Value;
+
+   procedure Disp_Objects_Value;
+
+   --  Disp stats about the design (number of process, number of signals...)
+   procedure Disp_Design_Stats;
+
+   --  The reason why the debugger is invoked.
+   type Debug_Reason is
+     (--  Called from an external debugger while debugging ghdl.
+      Reason_Internal_Debug,
+
+      --  Interractive session, elaboration not done
+      Reason_Start,
+
+      --  At end of elaboration, for an interractive session
+      Reason_Elab,
+
+      --  Before execution of a statement.
+      Reason_Break,
+
+      --  Assertion failure
+      Reason_Assert,
+
+      --  Non recoverable error occurred (such as index error, overflow...)
+      Reason_Error
+     );
+
+   Debugger_Quit : exception;
+
+   --  Interractive debugger.
+   procedure Debug (Reason: Debug_Reason);
+
+   --  Call the debugger in case of error.
+   procedure Debug_Error;
+end Debugger;