diff options
Diffstat (limited to 'src/vhdl/iirs.ads')
| -rw-r--r-- | src/vhdl/iirs.ads | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/vhdl/iirs.ads b/src/vhdl/iirs.ads index 1272e7723..a1fe93ced 100644 --- a/src/vhdl/iirs.ads +++ b/src/vhdl/iirs.ads @@ -2506,8 +2506,12 @@ package Iirs is -- -- Get/Set_Parent (Field0) -- + -- Only for Iir_Kind_Psl_Assert_Statement: -- Get/Set_Psl_Property (Field1) -- + -- Only for Iir_Kind_Psl_Cover_Statement: + -- Get/Set_Psl_Sequence (Field1) + -- -- Get/Set_Chain (Field2) -- -- Get/Set_Label (Field3) @@ -6646,6 +6650,10 @@ package Iirs is procedure Set_Psl_Property (Decl : Iir; Prop : PSL_Node); -- Field: Field1 (uc) + function Get_Psl_Sequence (Decl : Iir) return PSL_Node; + procedure Set_Psl_Sequence (Decl : Iir; Prop : PSL_Node); + + -- Field: Field1 (uc) function Get_Psl_Declaration (Decl : Iir) return PSL_Node; procedure Set_Psl_Declaration (Decl : Iir; Prop : PSL_Node); |