diff options
Diffstat (limited to 'src/synth/synth-vhdl_stmts.ads')
-rw-r--r-- | src/synth/synth-vhdl_stmts.ads | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/src/synth/synth-vhdl_stmts.ads b/src/synth/synth-vhdl_stmts.ads index db78c44d7..99aa5ff97 100644 --- a/src/synth/synth-vhdl_stmts.ads +++ b/src/synth/synth-vhdl_stmts.ads @@ -28,6 +28,15 @@ with Netlists; use Netlists; with Synth.Vhdl_Environment; use Synth.Vhdl_Environment.Env; package Synth.Vhdl_Stmts is + type Assertion_Report_Handler_Acc is access procedure + (Inst : Synth_Instance_Acc; + Stmt : Node; + Severity : Natural; + Msg : Valtyp); + + -- Procedure to call for report/assertion message. + Assertion_Report_Handler : Assertion_Report_Handler_Acc; + -- Create a new Synth_Instance for calling subprogram IMP/BOD. function Synth_Subprogram_Call_Instance (Inst : Synth_Instance_Acc; Imp : Node; @@ -104,10 +113,7 @@ package Synth.Vhdl_Stmts is procedure Execute_Report_Statement (Inst : Synth_Instance_Acc; Stmt : Node); procedure Exec_Failed_Assertion (Syn_Inst : Synth_Instance_Acc; - Stmt : Node; - Stmt_Msg : String; - Default_Rep : String; - Default_Severity : Natural); + Stmt : Node); procedure Init_For_Loop_Statement (Inst : Synth_Instance_Acc; Stmt : Node; |