Package com.facebook.infer.annotation
Annotation Type ThreadSafe
-
@Target({CONSTRUCTOR,METHOD,TYPE}) @Retention(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 Description booleanenableChecks
-