[thread-safety] add string param to AssumeThreadSafe

Reviewed By: jaegs

Differential Revision: D4438627

fbshipit-source-id: 5f959a2

infer/annotations/com/facebook/infer/annotation/AssumeThreadSafe.java

@@ -20,4 +20,5 @@ import java.lang.annotation.Target;
 @Target({ ElementType.METHOD })
 @Retention(RetentionPolicy.CLASS)
 public @interface AssumeThreadSafe {
+  String because(); /** describe why the thread-safety assumption is reasonable */
 }

infer/tests/codetoanalyze/java/threadsafety/Annotations.java

@@ -89,7 +89,7 @@ class Annotations {
     this.f = new Object();
   }
 
-  @AssumeThreadSafe
+  @AssumeThreadSafe(because = "it's a test")
   public void assumeThreadSafeOk() {
     this.f = new Object();
   }