Next: Attribute Loop_Entry, Previous: Attribute Library_Level, Up: Implementation Defined Attributes
P'Lock_Free, where P is a protected object, returns True if a pragma Lock_Free applies to P.