Package com.facebook.infer.annotation

Annotation Type SynchronizedCollection

@Target(FIELD)
@Retention(CLASS)
public @interface SynchronizedCollection

Tell the analysis that a collection is thread-safe when this information is not already reflected in the collection's type. For example: private @SynchronizedCollection Map mMap = Collections.synchronizedMap(...);