print.mli

(* Extend the default printer to display the generated code insertions
 * at the corresponding label and the generated functions. *)
class print_insertions :
  (* labeled environments *)
  ( Symbolic_label.t
  , Cil_types.varinfo Queue.t * Cil_types.stmt Queue.t * Cil_types.stmt Queue.t
  )
  Hashtbl.t
  -> (* new functions *)
     Cil_types.fundec list
  -> (* id of stmts, parameterizing the SWD *)
     int list
  -> Printer.extensible_printer