Module Core.Codex_options
val verbose_atleast : int -> bool
val debug_atleast : int -> bool
val printf :
?level:int ->
?dkey:category ->
?current:bool ->
?source:Frama_c_kernel.Filepath.position ->
?append:(Stdlib.Format.formatter -> unit) ->
?header:(Stdlib.Format.formatter -> unit) ->
('a, Stdlib.Format.formatter, unit) Stdlib.format ->
'a
val result :
?level:int ->
?dkey:category ->
'a Frama_c_kernel__Log.pretty_printer
val has_tty : unit -> bool
val feedback :
?ontty:Frama_c_kernel__Log.ontty ->
?level:int ->
?dkey:category ->
'a Frama_c_kernel__Log.pretty_printer
val debug :
?level:int ->
?dkey:category ->
'a Frama_c_kernel__Log.pretty_printer
val warning : ?wkey:warn_category -> 'a Frama_c_kernel__Log.pretty_printer
val error : 'a Frama_c_kernel__Log.pretty_printer
val abort : ('a, 'b) Frama_c_kernel__Log.pretty_aborter
val failure : 'a Frama_c_kernel__Log.pretty_printer
val fatal : ('a, 'b) Frama_c_kernel__Log.pretty_aborter
val verify : bool -> ('a, bool) Frama_c_kernel__Log.pretty_aborter
val not_yet_implemented :
?current:bool ->
?source:Frama_c_kernel.Filepath.position ->
('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 ->
'a
val deprecated : string -> now:string -> ('a -> 'b) -> 'a -> 'b
val with_result :
(Frama_c_kernel__Log.event option -> 'b) ->
('a, 'b) Frama_c_kernel__Log.pretty_aborter
val with_warning :
(Frama_c_kernel__Log.event option -> 'b) ->
('a, 'b) Frama_c_kernel__Log.pretty_aborter
val with_error :
(Frama_c_kernel__Log.event option -> 'b) ->
('a, 'b) Frama_c_kernel__Log.pretty_aborter
val with_failure :
(Frama_c_kernel__Log.event option -> 'b) ->
('a, 'b) Frama_c_kernel__Log.pretty_aborter
val log :
?kind:Frama_c_kernel__Log.kind ->
?verbose:int ->
?debug:int ->
'a Frama_c_kernel__Log.pretty_printer
val logwith :
(Frama_c_kernel__Log.event option -> 'b) ->
?wkey:warn_category ->
?emitwith:(Frama_c_kernel__Log.event -> unit) ->
?once:bool ->
('a, 'b) Frama_c_kernel__Log.pretty_aborter
val register :
Frama_c_kernel__Log.kind ->
(Frama_c_kernel__Log.event -> unit) ->
unit
val register_tag_handlers : ((string -> string) * (string -> string)) -> unit
val register_category : string -> category
val pp_category : Stdlib.Format.formatter -> category -> unit
val is_registered_category : string -> bool
val get_category : string -> category option
val get_all_categories : unit -> category list
val get_debug_keys : unit -> category list
val is_debug_key_enabled : category -> bool
val is_warn_category : string -> bool
val pp_warn_category : Stdlib.Format.formatter -> warn_category -> unit
val pp_all_warn_categories_status : unit -> unit
val get_all_warn_categories_status :
unit ->
(warn_category * Frama_c_kernel__Log.warn_status) list
val set_warn_status : warn_category -> Frama_c_kernel__Log.warn_status -> unit
val get_warn_status : warn_category -> Frama_c_kernel__Log.warn_status
val add_group : ?memo:bool -> string -> Frama_c_kernel.Cmdline.Group.t
module Verbose : Frama_c_kernel.Parameter_sig.Int
module Debug : Frama_c_kernel.Parameter_sig.Int
module Share : Frama_c_kernel.Parameter_sig.Specific_dir
module Session : Frama_c_kernel.Parameter_sig.Specific_dir
module Config : Frama_c_kernel.Parameter_sig.Specific_dir
val help : Frama_c_kernel.Cmdline.Group.t
val messages : Frama_c_kernel.Cmdline.Group.t
val add_plugin_output_aliases :
?visible:bool ->
?deprecated:bool ->
string list ->
unit
val no_element_of_string : string -> 'a
module Bool (_ : sig ... end) : sig ... end
module Action (_ : sig ... end) : sig ... end
module False (_ : sig ... end) : sig ... end
module True (_ : sig ... end) : sig ... end
module WithOutput (_ : sig ... end) : sig ... end
module Int (_ : sig ... end) : sig ... end
module Zero (_ : sig ... end) : sig ... end
module String (_ : sig ... end) : sig ... end
module Empty_string (_ : sig ... end) : sig ... end
module Fc_Filepath = Frama_c_kernel.Filepath
module Filepath (_ : sig ... end) : sig ... end
exception Cannot_build of string
module Make_set (E : sig ... end) (_ : sig ... end) : sig ... end
module String_set (_ : sig ... end) : sig ... end
module Filled_string_set (_ : sig ... end) : sig ... end
module Kernel_function_set (_ : sig ... end) : sig ... end
module Fundec_set (_ : sig ... end) : sig ... end
module Make_list (E : sig ... end) (_ : sig ... end) : sig ... end
module String_list (_ : sig ... end) : sig ... end
module Filepath_list (_ : sig ... end) : sig ... end
module Make_map
(K : sig ... end)
(V : sig ... end)
(_ : sig ... end) :
sig ... end
module String_map (V : sig ... end) (_ : sig ... end) : sig ... end
val parameters : unit -> Frama_c_kernel.Typed_parameter.t list
module Domains : sig ... end
module ConfigFile : sig ... end
module Enabled : sig ... end
module Print : sig ... end
module PrintValue : sig ... end
module TypeConfigurationFile : sig ... end
module HtmlDump : sig ... end
module ExpDump : sig ... end
module UseTypeDomain : sig ... end
module CompareWithValue : sig ... end
val needs_exp_term_mapping : unit -> bool
module Print_Force_Lazyness : sig ... end
module Verbose_Terms : sig ... end
module UnknownUninitialized : sig ... end
module Focusing : sig ... end
val emitter : Frama_c_kernel.Emitter.t