4.38 Attribute Lock_Free

P'Lock_Free, where P is a protected object, returns True if a pragma Lock_Free applies to P.