6.3 Max_Entry_Queue_Length aspect for entries

Max_Entry_Queue_Length aspect for entries (AI12-0164-1) defines the new aspect Max_Entry_Queue_Length for an entry declaration (see RM D.4). This specifies the maximum number of callers allowed on that entry. This facilitates timing analysis and should be useful for new restricted tasking profiles besides Ravenscar.

Violation of this restriction results in the raising of Program_Error at the point of the call or requeue.

The value specified for the Max_Entry_Queue_Length aspect for an entry must be no higher than any specified for the corresponding type, and both must be no higher than the Max_Entry_Queue_Length partition-wide restriction. These are checked at compilation.