com.facebook.infer.annotation

Annotation Type ThreadSafe

@Target(value={CONSTRUCTOR,METHOD,TYPE})
 @Retention(value=CLASS)
public @interface ThreadSafe

Similar to the @ThreadSafe annotation from javax.concurrent.annotation, but can be applied to methods. In addition, you can ask Infer to assume thread-safety rather than checking it by using @ThreadSafe(enableChecks = false).

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
boolean	enableChecks

Element Detail

enableChecks

public abstract boolean enableChecks

Default:

true