[pretty_utils] add pp_escaped

src/libraries/utils/pretty_utils.ml

@@ -132,6 +132,10 @@ let pp_pair
 
 let escape_underscores = Str.global_replace (Str.regexp_string "_") "__"
 
+let pp_escaped pp fmt e =
+  let s = Format.asprintf "%a" pp e in
+  Format.fprintf fmt "%s" (String.escaped s)
+
 let pp_flowlist ?(left=format_of_string "(") ?(sep=format_of_string ",") ?(right=format_of_string ")") f out =
   function
   | [] -> Format.fprintf out "%(%)%(%)" left right

src/libraries/utils/pretty_utils.mli

@@ -143,6 +143,10 @@ val pp_trail : 'a formatter -> 'a formatter
 (** pretty-prints its contents inside an '(** ... **)' horizontal block trailed
     with '*' *)
 
+val pp_escaped: 'a formatter -> 'a formatter
+(** [pp_escaped pp e] pretty-prints [e] with [String.escaped].
+    @since Frama-C+dev *)
+
 (* ********************************************************************** *)
 (** {2 Description Lists (margins)} *)
 (* ********************************************************************** *)