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


[RM D.7] This restriction ensures at compile time that barriers in entry declarations for protected types are restricted to either static boolean expressions or references to simple boolean variables defined in the private part of the protected type. No other form of entry barriers is permitted.