Member predicate ClassAnnotatedAsThreadSafe::hasPublicWriteAccess
Holds if the class has a write access to the field f that can be reached via a public method.
predicate hasPublicWriteAccess(ExposedField f)Holds if the class has a write access to the field f that can be reached via a public method.
predicate hasPublicWriteAccess(ExposedField f)