diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-03-20 08:36:54 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-03-20 09:13:29 +0100 |
| commit | 89cff67d5cf64c46818043e269c1d9f56a2ac149 (patch) | |
| tree | d5e9ff68918817871e966633ba7bdb07540befb9 /src/vhdl/iirs.ads | |
| parent | 4f650ed4dae4d764de1b294daf947d47d39c98e2 (diff) | |
| download | ghdl-89cff67d5cf64c46818043e269c1d9f56a2ac149.tar.gz ghdl-89cff67d5cf64c46818043e269c1d9f56a2ac149.tar.bz2 ghdl-89cff67d5cf64c46818043e269c1d9f56a2ac149.zip | |
Create psl_endpoint_declaration.
Diffstat (limited to 'src/vhdl/iirs.ads')
| -rw-r--r-- | src/vhdl/iirs.ads | 31 |
1 files changed, 28 insertions, 3 deletions
diff --git a/src/vhdl/iirs.ads b/src/vhdl/iirs.ads index a1fe93ced..fd13136cc 100644 --- a/src/vhdl/iirs.ads +++ b/src/vhdl/iirs.ads @@ -1641,16 +1641,40 @@ package Iirs is -- -- Get/Set_Use_Flag (Flag6) - -- Iir_Kind_Psl_Declaration (Medium) + -- Iir_Kind_Psl_Endpoint_Declaration (Medium) -- -- Get/Set_Parent (Field0) -- - -- Get/Set_Psl_Declaration (Field1) + -- Always boolean. + -- Get/Set_Type (Field1) + -- + -- Get/Set_Chain (Field2) + -- + -- Get/Set_Identifier (Field3) + -- + -- Get/Set_Psl_Declaration (Field6) + -- + -- Get/Set_PSL_Clock (Field7) + -- + -- Get/Set_PSL_NFA (Field8) + -- + -- Get/Set_Visible_Flag (Flag4) + -- + -- Get/Set_Use_Flag (Flag6) + -- + -- Get/Set_Expr_Staticness (State1) + + -- Iir_Kind_Psl_Declaration (Medium) + -- A psl sequence or property declaration. + -- + -- Get/Set_Parent (Field0) -- -- Get/Set_Chain (Field2) -- -- Get/Set_Identifier (Field3) -- + -- Get/Set_Psl_Declaration (Field6) + -- -- Valid only for property declaration. -- Get/Set_PSL_Clock (Field7) -- @@ -3706,6 +3730,7 @@ package Iirs is Iir_Kind_Non_Object_Alias_Declaration, Iir_Kind_Psl_Declaration, + Iir_Kind_Psl_Endpoint_Declaration, Iir_Kind_Terminal_Declaration, Iir_Kind_Free_Quantity_Declaration, Iir_Kind_Across_Quantity_Declaration, @@ -6653,7 +6678,7 @@ package Iirs is function Get_Psl_Sequence (Decl : Iir) return PSL_Node; procedure Set_Psl_Sequence (Decl : Iir; Prop : PSL_Node); - -- Field: Field1 (uc) + -- Field: Field6 (uc) function Get_Psl_Declaration (Decl : Iir) return PSL_Node; procedure Set_Psl_Declaration (Decl : Iir; Prop : PSL_Node); |