com.facebook.infer.annotation

Annotation Type SynchronizedCollection

@Target(value=FIELD)
 @Retention(value=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(...);