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


5.1.73 Pure_Barriers

[GNAT] This restriction ensures at compile time that protected entry barriers are restricted to:

This restriction is a relaxation of the Simple_Barriers restriction, but still ensures absence of side effects, exceptions, and recursion during the evaluation of the barriers.