`val close : (InferStdlib.IStd.Unix.File_descr.t * Format.formatter) ‑> unit`

Close an Html file

`val create : InferBase.DB.Results_dir.path_kind ‑> InferBase.DB.Results_dir.path ‑> InferStdlib.IStd.Unix.File_descr.t * Format.formatter`

Create a new html file

`val modified_during_analysis : InferBase.SourceFile.t ‑> InferBase.DB.Results_dir.path ‑> bool`

Return true if the html file was modified since the beginning of the analysis

`val node_filename : Typ.Procname.t ‑> int ‑> string`

File name for the node, given the procedure name and node id

`val open_out : InferBase.SourceFile.t ‑> InferBase.DB.Results_dir.path ‑> InferStdlib.IStd.Unix.File_descr.t * Format.formatter`

Open an Html file to append data

`val pp_line_link : ?⁠with_name:bool ‑> ?⁠text:string option ‑> InferBase.SourceFile.t ‑> InferBase.DB.Results_dir.path ‑> Format.formatter ‑> int ‑> unit`

Print an html link to the given line number of the current source file

`val pp_hline : Format.formatter ‑> unit ‑> unit`

Print a horizontal line

`val pp_end_color : Format.formatter ‑> unit ‑> unit`

Print end color

`val pp_node_link : InferBase.DB.Results_dir.path ‑> Typ.Procname.t ‑> description:string ‑> preds:int list ‑> succs:int list ‑> exn:int list ‑> isvisited:bool ‑> isproof:bool ‑> Format.formatter ‑> int ‑> unit`

Print an html link to the given node. Usage: `pp_node_link path_to_root ... fmt id`. `path_to_root` is the path to the dir for the procedure in the spec db. `id` is the node identifier.

`val pp_proc_link : InferBase.DB.Results_dir.path ‑> Typ.Procname.t ‑> Format.formatter ‑> string ‑> unit`

Print an html link to the given proc

`val pp_session_link : ?⁠with_name:bool ‑> ?⁠proc_name:Typ.Procname.t ‑> InferBase.SourceFile.t ‑> string list ‑> Format.formatter ‑> (int * int * int) ‑> unit`

Print an html link given node id and session

`val pp_start_color : Format.formatter ‑> InferStdlib.Pp.color ‑> unit`

Print start color