Html (infer.IR.Io_infer.Html)

val close : (IStdlib.IStd.Unix.File_descr.t * Stdlib.Format.formatter) -> unit

Close an Html file

val create : 
  IBase.SourceFile.t ->
  IBase.DB.Results_dir.path ->
  IStdlib.IStd.Unix.File_descr.t * Stdlib.Format.formatter

Create a new html file

val modified_during_analysis : 
  IBase.SourceFile.t ->
  IBase.DB.Results_dir.path ->
  bool

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

val node_filename : Procname.t -> int -> string

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

val open_out : 
  IBase.SourceFile.t ->
  IBase.DB.Results_dir.path ->
  IStdlib.IStd.Unix.File_descr.t * Stdlib.Format.formatter

Open an Html file to append data

val pp_line_link : 
  ?with_name:bool ->
  ?text:string option ->
  IBase.SourceFile.t ->
  IBase.DB.Results_dir.path ->
  Stdlib.Format.formatter ->
  int ->
  unit

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

val pp_hline : Stdlib.Format.formatter -> unit -> unit

Print a horizontal line

val pp_node_link : 
  IBase.DB.Results_dir.path ->
  Procname.t ->
  description:string ->
  preds:int list ->
  succs:int list ->
  exn:int list ->
  isvisited:bool ->
  Stdlib.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 : 
  IBase.DB.Results_dir.path ->
  Procname.t ->
  Stdlib.Format.formatter ->
  string ->
  unit

Print an html link to the given proc

val pp_session_link : 
  ?with_name:bool ->
  ?proc_name:Procname.t ->
  IBase.SourceFile.t ->
  string list ->
  Stdlib.Format.formatter ->
  (int * int * int) ->
  unit

Print an html link given node id and session