]> gcc.gnu.org Git - gcc.git/commit - gcc/ada/gnat_rm.texi
ada: Implement representation aspect Max_Entry_Queue_Length
authorJose Ruiz <ruiz@adacore.com>
Thu, 7 Mar 2024 10:20:03 +0000 (11:20 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 20 May 2024 07:47:02 +0000 (09:47 +0200)
commitbf941670685fd8d646ae8955c3bb086d1512bac2
tree9e1c2167ea2067dbc7e5cbf8c54385bcc9fb1462
parentbdf9ebb75880601bb67d63672d2e830005109f8e
ada: Implement representation aspect Max_Entry_Queue_Length

Enforce Max_Entry_Queue_Length (and its
synonym Max_Entry_Queue_Depth) when applied to individual
protected entries.

gcc/ada/

* exp_ch9.adb (Expand_N_Protected_Type_Declaration): Clarify
comments.
* sem_prag.adb (Analyze_Pragma): Check for duplicates
Max_Entry_Queue_Length, Max_Entry_Queue_Depth and Max_Queue_Length
for the same protected entry.
* sem_util.adb (Get_Max_Queue_Length): Take into account all three
representation aspects that can be used to set this restriction.
(Has_Max_Queue_Length): Likewise.
* doc/gnat_rm/implementation_defined_pragmas.rst:
(pragma Max_Queue_Length): Fix pragma in example.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
gcc/ada/exp_ch9.adb
gcc/ada/gnat_rm.texi
gcc/ada/sem_prag.adb
gcc/ada/sem_util.adb
This page took 0.060103 seconds and 5 git commands to generate.