Module Analysis_scripts.List_functionsSource

Sourcemodule SemanticLocs : sig ... end
module Self : sig ... end
module PrintLibc : sig ... end
module PrintDeclarations : sig ... end
module Output : sig ... end
Sourcetype funinfo = {
  1. name : string;
  2. declarations : unit SemanticLocs.t;
  3. definitions : int SemanticLocs.t;
}
Sourceclass stmt_count_visitor : object ... end
Sourceval located_within_framac_libc : (Frama_c_kernel.Filepath.position * 'a) -> bool
Sourceclass fun_cabs_visitor : bool -> object ... end
Sourceval pp_semlocs : Format.formatter -> 'a SemanticLocs.t -> unit
Sourceval pp_definitions : Format.formatter -> int SemanticLocs.t -> unit
Sourceval print_text : funinfo list -> unit
Sourceval definitions_with_size : string -> int SemanticLocs.t
Sourceval json_string_of_loc : Frama_c_kernel.Cil_datatype.Location.t -> [> `String of string ]
Sourceval json_list_of_loc_tbl : 'a SemanticLocs.t -> [> `List of [> `String of string ] list ]
Sourceval json_array_of_loc_size : (Frama_c_kernel.Cil_datatype.Location.t * 'a) -> [> `Assoc of (string * [> `Int of 'a | `String of string ]) list ]
Sourceval json_list_of_loc_size_tbl : 'a SemanticLocs.t -> [> `List of [> `Assoc of (string * [> `Int of 'a | `String of string ]) list ] list ]
Sourceval run : unit -> unit