[annotations] Pretty print also the annotations parameters

Reviewed By: jeremydubreil

Differential Revision: D7112878

fbshipit-source-id: be6ea53

infer/src/IR/Annot.ml

@@ -28,7 +28,10 @@ let final = {class_name= "final"; parameters= []}
 (** Pretty print an annotation. *)
 let prefix = match Language.curr_language_is Java with true -> "@" | false -> "_"
 
-let pp fmt annotation = F.fprintf fmt "%s%s" prefix annotation.class_name
+let pp fmt annotation =
+  F.fprintf fmt "%s%s%s" prefix annotation.class_name
+    (String.concat ~sep:"," annotation.parameters)
+
 
 module Map = PrettyPrintable.MakePPMap (struct
   type nonrec t = t