package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

package frama-c

frama-c

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Analysis_scripts.List_functions`Source

Sourcemodule SemanticLocs : sig ... end

module Self : sig ... end

module PrintLibc : sig ... end

module PrintDeclarations : sig ... end

module Output : sig ... end

Sourcetype funinfo = {

name : string;
declarations : unit SemanticLocs.t;
definitions : int SemanticLocs.t;

}

Sourceclass stmt_count_visitor : object ... end

Source

val located_within_framac_libc : 
  (Frama_c_kernel.Filepath.position * 'a) ->
  bool

Sourceclass fun_cabs_visitor : bool -> object ... end

Source

val print_json : 
  Frama_c_kernel.Filepath.Normalized.t ->
  Frama_c_kernel.Json.t ->
  unit

Sourceval pp_semlocs : Format.formatter -> 'a SemanticLocs.t -> unit

Source

val pp_loc_size : 
  Format.formatter ->
  (Frama_c_kernel.Cil_datatype.Location.t * int) ->
  unit

Sourceval pp_definitions : Format.formatter -> int SemanticLocs.t -> unit

Sourceval print_text : funinfo list -> unit

Sourceval get_size : Frama_c_kernel.Kernel_function.t -> int

Sourceval definitions_with_size : string -> int SemanticLocs.t

Source

val json_string_of_loc : 
  Frama_c_kernel.Cil_datatype.Location.t ->
  [> `String of string ]

Source

val json_list_of_loc_tbl : 
  'a SemanticLocs.t ->
  [> `List of [> `String of string ] list ]

Source

val json_array_of_loc_size : 
  (Frama_c_kernel.Cil_datatype.Location.t * 'a) ->
  [> `Assoc of (string * [> `Int of 'a | `String of string ]) list ]

Source

val 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

package frama-c

Module Analysis_scripts.List_functionsSource

Module `Analysis_scripts.List_functions`Source