diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-06-16 07:29:53 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-06-16 07:29:53 +0200 |
commit | c033bff91ebf329f3876d70b49588e1d785fc1f7 (patch) | |
tree | f5652e131531e5ea1c478e1df219345d4e7d7daa /src/psl/psl-subsets.adb | |
parent | 828ad61b5b84c135d74e9064112c2db4ebd6adf4 (diff) | |
download | ghdl-c033bff91ebf329f3876d70b49588e1d785fc1f7.tar.gz ghdl-c033bff91ebf329f3876d70b49588e1d785fc1f7.tar.bz2 ghdl-c033bff91ebf329f3876d70b49588e1d785fc1f7.zip |
vhdl psl: add support for equivalence operator. Fix #1371
Diffstat (limited to 'src/psl/psl-subsets.adb')
-rw-r--r-- | src/psl/psl-subsets.adb | 52 |
1 files changed, 27 insertions, 25 deletions
diff --git a/src/psl/psl-subsets.adb b/src/psl/psl-subsets.adb index dc677cb21..f7b615519 100644 --- a/src/psl/psl-subsets.adb +++ b/src/psl/psl-subsets.adb @@ -93,8 +93,8 @@ package body PSL.Subsets is when N_Hdl_Mod_Name => null; when N_Vunit - | N_Vmode - | N_Vprop => + | N_Vmode + | N_Vprop => declare Item : Node; begin @@ -107,32 +107,32 @@ package body PSL.Subsets is when N_Name_Decl => null; when N_Assert_Directive - | N_Property_Declaration => + | N_Property_Declaration => Check_Simple (Get_Property (N)); when N_Endpoint_Declaration - | N_Sequence_Declaration => + | N_Sequence_Declaration => Check_Simple (Get_Sequence (N)); when N_Clock_Event => Check_Simple (Get_Property (N)); Check_Simple (Get_Boolean (N)); when N_Always - | N_Never - | N_Eventually - | N_Strong => + | N_Never + | N_Eventually + | N_Strong => Check_Simple (Get_Property (N)); when N_Braced_SERE - | N_Clocked_SERE => + | N_Clocked_SERE => Check_Simple (Get_SERE (N)); when N_Concat_SERE - | N_Fusion_SERE - | N_Within_SERE => + | N_Fusion_SERE + | N_Within_SERE => Check_Simple (Get_Left (N)); Check_Simple (Get_Right (N)); when N_Name => null; when N_Star_Repeat_Seq - | N_Goto_Repeat_Seq - | N_Equal_Repeat_Seq => + | N_Goto_Repeat_Seq + | N_Equal_Repeat_Seq => declare N2 : constant Node := Get_Sequence (N); begin @@ -143,28 +143,30 @@ package body PSL.Subsets is when N_Plus_Repeat_Seq => Check_Simple (Get_Sequence (N)); when N_Match_And_Seq - | N_And_Seq - | N_Or_Seq => + | N_And_Seq + | N_Or_Seq => Check_Simple (Get_Left (N)); Check_Simple (Get_Right (N)); when N_Imp_Seq - | N_Overlap_Imp_Seq => + | N_Overlap_Imp_Seq => Check_Simple (Get_Sequence (N)); Check_Simple (Get_Property (N)); when N_Log_Imp_Prop - | N_Until - | N_Before - | N_Or_Prop - | N_And_Prop - | N_And_Bool - | N_Or_Bool - | N_Imp_Bool => + | N_Log_Equiv_Prop + | N_Until + | N_Before + | N_Or_Prop + | N_And_Prop + | N_And_Bool + | N_Or_Bool + | N_Imp_Bool + | N_Equiv_Bool => Check_Simple (Get_Left (N)); Check_Simple (Get_Right (N)); when N_Next - | N_Next_A - | N_Next_E - | N_Paren_Prop => + | N_Next_A + | N_Next_E + | N_Paren_Prop => Check_Simple (Get_Property (N)); when N_Next_Event | N_Next_Event_A |