module Metrics_base:sig
..end
Tag functions handling html tags for Format
val html_tag_functions : Format.formatter_tag_functions
val mk_hdr : int -> Format.formatter -> string -> unit
level
ppf
hdr_strg
produces a title from hdr_strg
with an
underline of the same length.
The character of the underline is set according to level
:module BasicMetrics:sig
..end
exception No_suffix
val get_suffix : string -> string
type
output_type =
| |
Html |
| |
Text |
val get_file_type : string -> output_type
extension
sets the output type according to extension
.
Raises an error if extension
is not among supported extensions or is empty.module VInfoMap:sig
..end
val pretty_set : ((Cil_types.varinfo -> int -> unit) -> 'a -> 'b) ->
Format.formatter -> 'a -> unit
Pretty print a varinfo set.
val is_entry_point : Cil_types.varinfo -> int -> bool
val number_entry_points : ((Cil_types.varinfo -> int -> int -> int) -> 'a -> int -> 'b) -> 'a -> 'b
val pretty_entry_points : ((Cil_types.varinfo -> int -> unit) -> 'a -> unit) ->
Format.formatter -> 'a -> unit
val map_cardinal_varinfomap : 'a Cil_datatype.Varinfo.Map.t -> int
val file_of_vinfodef : Cil_types.varinfo -> string
val file_of_fundef : Cil_types.fundec -> string
val extract_fundef_name : 'a * ('b * 'c * 'd * 'e) -> 'b
val get_filename : Cabs.definition -> string
val consider_function : Cil_types.varinfo -> bool
vinfo
returns false if the varinfo is not a function we
are interested in.
For example, builtins should not be part of the analysis and return false.
Skip them using this auxiliary function.val float_to_string : float -> string