diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-08-07 05:59:50 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-08-08 04:33:32 +0200 |
| commit | 97d3a89195c8aeb981a7f4171b939c48ec4bdfaa (patch) | |
| tree | d7f4c9d6124a0a408be5d1e1003f44e33e14b5eb /src/vhdl/vhdl-prints.adb | |
| parent | 4e3f3f744ede1b4d6ad419383015dd6c78be1009 (diff) | |
| download | ghdl-97d3a89195c8aeb981a7f4171b939c48ec4bdfaa.tar.gz ghdl-97d3a89195c8aeb981a7f4171b939c48ec4bdfaa.tar.bz2 ghdl-97d3a89195c8aeb981a7f4171b939c48ec4bdfaa.zip | |
vhdl: remove severity from cover, report and severity from assume.
Diffstat (limited to 'src/vhdl/vhdl-prints.adb')
| -rw-r--r-- | src/vhdl/vhdl-prints.adb | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/vhdl/vhdl-prints.adb b/src/vhdl/vhdl-prints.adb index 7c87b3df5..f706ccb86 100644 --- a/src/vhdl/vhdl-prints.adb +++ b/src/vhdl/vhdl-prints.adb @@ -2112,10 +2112,10 @@ package body Vhdl.Prints is procedure Disp_Psl_Default_Clock (Ctxt : in out Ctxt_Class; Stmt : Iir) is begin + Start_Hbox (Ctxt); if Vhdl_Std < Vhdl_08 then OOB.Put ("--psl "); end if; - Start_Hbox (Ctxt); Disp_Token (Ctxt, Tok_Psl_Default, Tok_Psl_Clock); Disp_Token (Ctxt, Tok_Is); Disp_Psl_Expression (Ctxt, Get_Psl_Boolean (Stmt)); @@ -3922,8 +3922,6 @@ package body Vhdl.Prints is Disp_Postponed (Ctxt, Stmt); Disp_Token (Ctxt, Tok_Psl_Assume); Disp_Psl_Expression (Ctxt, Get_Psl_Property (Stmt)); - Disp_Report_Expression (Ctxt, Stmt); - Disp_Severity_Expression (Ctxt, Stmt); Disp_Token (Ctxt, Tok_Semi_Colon); Close_Hbox (Ctxt); Disp_PSL_NFA (Get_PSL_NFA (Stmt)); @@ -3932,13 +3930,14 @@ package body Vhdl.Prints is procedure Disp_Psl_Cover_Directive (Ctxt : in out Ctxt_Class; Stmt : Iir) is begin + Start_Hbox (Ctxt); if Vhdl_Std < Vhdl_08 then OOB.Put ("--psl "); end if; - Start_Hbox (Ctxt); Disp_Label (Ctxt, Stmt); Disp_Token (Ctxt, Tok_Psl_Cover); Print_Sequence (Ctxt, Get_Psl_Sequence (Stmt)); + Disp_Report_Expression (Ctxt, Stmt); Disp_Token (Ctxt, Tok_Semi_Colon); Close_Hbox (Ctxt); Disp_PSL_NFA (Get_PSL_NFA (Stmt)); @@ -3947,10 +3946,10 @@ package body Vhdl.Prints is procedure Disp_Psl_Restrict_Directive (Ctxt : in out Ctxt_Class; Stmt : Iir) is begin + Start_Hbox (Ctxt); if Vhdl_Std < Vhdl_08 then OOB.Put ("--psl "); end if; - Start_Hbox (Ctxt); Disp_Label (Ctxt, Stmt); Disp_Token (Ctxt, Tok_Psl_Restrict); Print_Sequence (Ctxt, Get_Psl_Sequence (Stmt)); |