diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-08-15 09:16:06 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-08-15 16:54:38 +0200 |
| commit | 915b286dc54f36216dcc46cd8c8832ba1bd5fe67 (patch) | |
| tree | fd928b4be9094bbd7e4cdcc3e0e30514d09140fc /src/psl/psl-nodes.adb | |
| parent | 988eebde6d076261da5e94344b38445e6ed764f0 (diff) | |
| download | ghdl-915b286dc54f36216dcc46cd8c8832ba1bd5fe67.tar.gz ghdl-915b286dc54f36216dcc46cd8c8832ba1bd5fe67.tar.bz2 ghdl-915b286dc54f36216dcc46cd8c8832ba1bd5fe67.zip | |
vhdl-prints: improve handling of PSL. For #2178
Diffstat (limited to 'src/psl/psl-nodes.adb')
| -rw-r--r-- | src/psl/psl-nodes.adb | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/psl/psl-nodes.adb b/src/psl/psl-nodes.adb index 5eb9cd5f2..37f7a737b 100644 --- a/src/psl/psl-nodes.adb +++ b/src/psl/psl-nodes.adb @@ -717,6 +717,22 @@ package body PSL.Nodes is Set_Flag2 (N, B); end Set_Inclusive_Flag; + function Get_Has_Identifier_List (N : Node) return Boolean is + begin + pragma Assert (N /= Null_Node); + pragma Assert (Has_Has_Identifier_List (Get_Kind (N)), + "no field Has_Identifier_List"); + return Get_Flag1 (N); + end Get_Has_Identifier_List; + + procedure Set_Has_Identifier_List (N : Node; B : Boolean) is + begin + pragma Assert (N /= Null_Node); + pragma Assert (Has_Has_Identifier_List (Get_Kind (N)), + "no field Has_Identifier_List"); + Set_Flag1 (N, B); + end Set_Has_Identifier_List; + function Get_Low_Bound (N : Node) return Node is begin pragma Assert (N /= Null_Node); |