[IR] Adding module for type of parameters to be added to procnames.

Reviewed By: mbouaziz

Differential Revision: D8297974

fbshipit-source-id: 3312588

infer/src/IR/Typ.ml

@@ -733,6 +733,23 @@ module Procname = struct
       Option.exists ~f:Config.java_package_is_external package
   end
 
+  module Parameter = struct
+    (** [Some name] means the parameter is of type pointer to struct, with [name]
+being the name of the struct, [None] means the parameter is of some other type. *)
+    type t = Name.t option [@@deriving compare]
+
+    let of_typ typ =
+      match typ.T.desc with T.Tptr ({desc= Tstruct name}, Pk_pointer) -> Some name | _ -> None
+
+
+    let parameters_to_string parameters =
+      let name_opt_to_string par_opt =
+        match par_opt with Some par -> Name.to_string par | None -> ""
+      in
+      let string_pars = List.map ~f:name_opt_to_string parameters in
+      if List.is_empty parameters then "" else "(" ^ String.concat ~sep:"," string_pars ^ ")"
+  end
+
   module ObjC_Cpp = struct
     type kind =
       | CPPMethod of {mangled: string option}

infer/src/IR/Typ.mli

@@ -364,6 +364,14 @@ module Procname : sig
     (** Check if the method belongs to one of the specified external packages *)
   end
 
+  module Parameter : sig
+    (** [Some name] means the parameter is of type pointer to struct, with [name]
+  being the name of the struct, [None] means the parameter is of some other type. *)
+    type t = Name.t option
+
+    val of_typ : typ -> t
+  end
+
   module ObjC_Cpp : sig
     type kind =
       | CPPMethod of {mangled: string option}