diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-08-14 08:22:20 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-08-14 08:22:20 +0200 |
commit | 5cfb8e78cd5d7bdc83494bd72cbe17bf4921bda8 (patch) | |
tree | 153ab940b178603745e6b27e37bc606df2e8b316 /src/vhdl/vhdl-prints.adb | |
parent | a8e477a114b528866dfeb5146c9377f57bab604c (diff) | |
download | ghdl-5cfb8e78cd5d7bdc83494bd72cbe17bf4921bda8.tar.gz ghdl-5cfb8e78cd5d7bdc83494bd72cbe17bf4921bda8.tar.bz2 ghdl-5cfb8e78cd5d7bdc83494bd72cbe17bf4921bda8.zip |
vhdl: add PSL keywords to vhdl08 reserved words.
Diffstat (limited to 'src/vhdl/vhdl-prints.adb')
-rw-r--r-- | src/vhdl/vhdl-prints.adb | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/vhdl/vhdl-prints.adb b/src/vhdl/vhdl-prints.adb index b66bb57ed..09c6f5ff4 100644 --- a/src/vhdl/vhdl-prints.adb +++ b/src/vhdl/vhdl-prints.adb @@ -2116,7 +2116,7 @@ package body Vhdl.Prints is if Vhdl_Std < Vhdl_08 then OOB.Put ("--psl "); end if; - Disp_Token (Ctxt, Tok_Psl_Default, Tok_Psl_Clock); + Disp_Token (Ctxt, Tok_Default, Tok_Psl_Clock); Disp_Token (Ctxt, Tok_Is); Disp_Psl_Expression (Ctxt, Get_Psl_Boolean (Stmt)); Disp_Token (Ctxt, Tok_Semi_Colon); @@ -2132,13 +2132,13 @@ package body Vhdl.Prints is end if; case Get_Kind (Decl) is when N_Property_Declaration => - Disp_Token (Ctxt, Tok_Psl_Property); + Disp_Token (Ctxt, Tok_Property); Disp_Ident (Ctxt, Get_Identifier (Decl)); Disp_Token (Ctxt, Tok_Is); Disp_Psl_Expression (Ctxt, Get_Property (Decl)); Disp_Token (Ctxt, Tok_Semi_Colon); when N_Sequence_Declaration => - Disp_Token (Ctxt, Tok_Psl_Sequence); + Disp_Token (Ctxt, Tok_Sequence); Disp_Ident (Ctxt, Get_Identifier (Decl)); Disp_Token (Ctxt, Tok_Is); Print_Sequence (Ctxt, Get_Sequence (Decl)); @@ -3926,7 +3926,7 @@ package body Vhdl.Prints is end if; Disp_Label (Ctxt, Stmt); Disp_Postponed (Ctxt, Stmt); - Disp_Token (Ctxt, Tok_Psl_Assume); + Disp_Token (Ctxt, Tok_Assume); Disp_Psl_Expression (Ctxt, Get_Psl_Property (Stmt)); Disp_Token (Ctxt, Tok_Semi_Colon); Close_Hbox (Ctxt); @@ -3941,7 +3941,7 @@ package body Vhdl.Prints is OOB.Put ("--psl "); end if; Disp_Label (Ctxt, Stmt); - Disp_Token (Ctxt, Tok_Psl_Cover); + Disp_Token (Ctxt, Tok_Cover); Print_Sequence (Ctxt, Get_Psl_Sequence (Stmt)); Disp_Report_Expression (Ctxt, Stmt); Disp_Token (Ctxt, Tok_Semi_Colon); @@ -3957,7 +3957,7 @@ package body Vhdl.Prints is OOB.Put ("--psl "); end if; Disp_Label (Ctxt, Stmt); - Disp_Token (Ctxt, Tok_Psl_Restrict); + Disp_Token (Ctxt, Tok_Restrict); Print_Sequence (Ctxt, Get_Psl_Sequence (Stmt)); Disp_Token (Ctxt, Tok_Semi_Colon); Close_Hbox (Ctxt); |