diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-07-04 18:20:30 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-07-04 18:20:30 +0200 |
commit | 688173587e76ee89b67b0c0aeb93385c0db08b22 (patch) | |
tree | 5d9fda9535196719ac8a71f90d1a2d62529d42f0 /src/vhdl/translate/trans-rtis.adb | |
parent | 17ab141656d8a0ba80309ca4d85e65a038c873e0 (diff) | |
download | ghdl-688173587e76ee89b67b0c0aeb93385c0db08b22.tar.gz ghdl-688173587e76ee89b67b0c0aeb93385c0db08b22.tar.bz2 ghdl-688173587e76ee89b67b0c0aeb93385c0db08b22.zip |
vhdl: rename Cover_Statement to Cover_Directive.
Diffstat (limited to 'src/vhdl/translate/trans-rtis.adb')
-rw-r--r-- | src/vhdl/translate/trans-rtis.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/vhdl/translate/trans-rtis.adb b/src/vhdl/translate/trans-rtis.adb index e59a12b92..96aacb8b0 100644 --- a/src/vhdl/translate/trans-rtis.adb +++ b/src/vhdl/translate/trans-rtis.adb @@ -2040,7 +2040,7 @@ package body Trans.Rtis is Start_Init_Value (Info.Psl_Rti_Const); Start_Record_Aggr (List, Ghdl_Rtin_Object); case Get_Kind (Decl) is - when Iir_Kind_Psl_Cover_Statement => + when Iir_Kind_Psl_Cover_Directive => Kind := Ghdl_Rtik_Psl_Cover; when Iir_Kind_Psl_Assert_Statement => Kind := Ghdl_Rtik_Psl_Assert; @@ -2423,7 +2423,7 @@ package body Trans.Rtis is when Iir_Kind_Psl_Declaration => null; when Iir_Kind_Psl_Assert_Statement - | Iir_Kind_Psl_Cover_Statement + | Iir_Kind_Psl_Cover_Directive | Iir_Kind_Psl_Endpoint_Declaration => Generate_Psl_Directive (Stmt); when others => @@ -2995,7 +2995,7 @@ package body Trans.Rtis is | Iir_Kind_Sensitized_Process_Statement => return Node_Info.Process_Rti_Const; when Iir_Kind_Psl_Assert_Statement - | Iir_Kind_Psl_Cover_Statement + | Iir_Kind_Psl_Cover_Directive | Iir_Kind_Psl_Endpoint_Declaration => return Node_Info.Psl_Rti_Const; when others => @@ -3036,7 +3036,7 @@ package body Trans.Rtis is | Iir_Kind_Sensitized_Process_Statement => Ref := Get_Instance_Ref (Node_Info.Process_Scope); when Iir_Kind_Psl_Assert_Statement - | Iir_Kind_Psl_Cover_Statement + | Iir_Kind_Psl_Cover_Directive | Iir_Kind_Psl_Endpoint_Declaration => Ref := Get_Instance_Ref (Node_Info.Psl_Scope); when others => |