diff options
Diffstat (limited to 'src/psl/psl-nodes.ads')
| -rw-r--r-- | src/psl/psl-nodes.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/psl/psl-nodes.ads b/src/psl/psl-nodes.ads index 29a1943f4..2667c76b3 100644 --- a/src/psl/psl-nodes.ads +++ b/src/psl/psl-nodes.ads @@ -206,6 +206,8 @@ package PSL.Nodes is -- -- -- Current actual parameter. -- Get/Set_Actual (Field3) + -- + -- Get/Set_Has_Identifier_List (Flag1) -- N_Sequence_Instance (Short) -- N_Endpoint_Instance (Short) @@ -564,6 +566,10 @@ package PSL.Nodes is function Get_Inclusive_Flag (N : Node) return Boolean; procedure Set_Inclusive_Flag (N : Node; B : Boolean); + -- Field: Flag1 + function Get_Has_Identifier_List (N : Node) return Boolean; + procedure Set_Has_Identifier_List (N : Node; B : Boolean); + -- Field: Field1 function Get_Low_Bound (N : Node) return Node; procedure Set_Low_Bound (N : Node; S : Node); |