package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
module GU = Goblintutil
module Category = MessageCategory
module Severity : sig ... end
module Piece : sig ... end
module MultiPiece : sig ... end
module Tag : sig ... end
module Tags : sig ... end
module Message : sig ... end
module Table : sig ... end
val formatter : Format.formatter ref
val tracing : bool
val xml_file_name : string ref
val warn_race : out_channel ref
val warn_safe : out_channel ref
val warn_higr : out_channel ref
val warn_higw : out_channel ref
val warn_lowr : out_channel ref
val warn_loww : out_channel ref
val init_warn_files : unit -> unit
val get_out : string -> out_channel -> out_channel
val print : ?ppf:Format.formatter -> Message.t -> unit
val add : Table.MH.key -> unit
val msg_group_race_old : Severity.t -> string -> (string * CilType.Location.t) list -> unit

Adapts old print_group to new message structure. Don't use for new (group) warnings.

val current_context : Obj.t option ref

(Control.get_spec ()) context, represented type: (Control.get_spec ()).C.t

val msg : Severity.t -> ?loc:CilType.Location.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val msg_noloc : Severity.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val msg_group : Severity.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, (Pretty.doc * CilType.Location.t option) list -> unit) format4 -> 'a
val warn : ?loc:CilType.Location.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val warn_noloc : ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val error : ?loc:CilType.Location.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val error_noloc : ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val info : ?loc:CilType.Location.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val info_noloc : ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val debug : ?loc:CilType.Location.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val debug_noloc : ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val success : ?loc:CilType.Location.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val success_noloc : ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) format4 -> 'a
include module type of struct include Tracing end
module Strs = Tracing.Strs
val current_loc : Cil.location ref
val next_loc : Cil.location ref
val trace_sys : Strs.t ref
val activated : Strs.t ref
val active_dep : (string, Strs.t) Hashtbl.t
val tracevars : string list ref
val tracelocs : int list ref
val addsystem : Strs.elt -> unit
val activate : string -> string list -> unit
val deactivate : string -> unit
val indent_level : int ref
val traceIndent : unit -> unit
val traceOutdent : unit -> unit
val mygprintf : ('a, unit, Pretty.doc, 'b) format4 -> 'a
val traceTag : string -> Pretty.doc
val printtrace : string -> Pretty.doc -> unit
val gtrace : bool -> (Strs.elt -> Pretty.doc -> 'a) -> Strs.elt -> string option -> ?loc:Cil.location -> (unit -> 'b) -> ('c, unit, Pretty.doc, 'a) format4 -> 'c
val trace : Strs.elt -> ?var:string -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val tracel : Strs.elt -> ?var:string -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val tracei : string -> ?var:string -> ?subsys:string list -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val tracec : Strs.elt -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val traceu : Strs.elt -> ('a, unit, Pretty.doc, unit) format4 -> 'a
val traceli : Strs.elt -> ?var:string -> ?subsys:string list -> ('a, unit, Pretty.doc, unit) format4 -> 'a
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct