Next: , Previous: Max_Entry_Queue_Length, Up: Partition-Wide Restrictions


Max_Protected_Entries

[RM D.7] Specifies the maximum number of entries per protected type. The bounds of every entry family of a protected unit shall be static, or shall be defined by a discriminant of a subtype whose corresponding bound is static.