Next: Max_Select_Alternatives, Previous: Max_Entry_Queue_Length, Up: Partition-Wide Restrictions
[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.