package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

Messages (e.g. warnings) presented to the user about the program from the analysis.

module Pretty = GoblintCil.Pretty
module Category = MessageCategory
module Severity : sig ... end
module Location : 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 : Stdlib.Format.formatter Stdlib.ref
val xml_file_name : string Stdlib.ref
val out : Stdlib.out_channel Stdlib.ref

The file where everything is output

val get_out : string -> Stdlib.out_channel -> Stdlib.out_channel
val print : ?ppf:Stdlib.Format.formatter -> Message.t -> unit
val add : Table.MH.key -> unit
val final_table : unit Table.MH.t
val add_final : Table.MH.key -> unit
val finalize : unit -> unit
val current_context : ControlSpecC.t option Stdlib.ref
val msg_context : unit -> ControlSpecC.t option
val msg : Severity.t -> ?loc:Location.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) Stdlib.format4 -> 'a
val msg_noloc : Severity.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) Stdlib.format4 -> 'a
val msg_group : Severity.t -> ?loc:Location.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, (GoblintCil.Pretty.doc * Location.t option) list -> unit) Stdlib.format4 -> 'a
val warn : ?loc:Location.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) Stdlib.format4 -> 'a
val warn_noloc : ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) Stdlib.format4 -> 'a
val error : ?loc:Location.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) Stdlib.format4 -> 'a
val error_noloc : ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) Stdlib.format4 -> 'a
val info : ?loc:Location.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) Stdlib.format4 -> 'a
val info_noloc : ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) Stdlib.format4 -> 'a
val debug : ?loc:Location.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) Stdlib.format4 -> 'a
val debug_noloc : ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) Stdlib.format4 -> 'a
val success : ?loc:Location.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) Stdlib.format4 -> 'a
val success_noloc : ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) Stdlib.format4 -> 'a
val msg_final : Severity.t -> ?tags:Tag.t list -> ?category:Category.category -> ('a, unit, Pretty.doc, unit) Stdlib.format4 -> 'a
include module type of struct include Goblint_tracing end
module Strs = Goblint_tracing.Strs
val tracing : bool
val current_loc : GoblintCil.location Stdlib.ref
val next_loc : GoblintCil.location Stdlib.ref
val trace_sys : Strs.t Stdlib.ref
val activated : Strs.t Stdlib.ref
val active_dep : (string, Strs.t) Stdlib.Hashtbl.t
val tracevars : string list Stdlib.ref
val tracelocs : int list Stdlib.ref
val addsystem : Strs.elt -> unit
val activate : string -> string list -> unit
val deactivate : string -> unit
val indent_level : int Stdlib.ref
val traceIndent : unit -> unit
val traceOutdent : unit -> unit
val traceTag : string -> GoblintCil.Pretty.doc
val printtrace : string -> GoblintCil.Pretty.doc -> unit
val gtrace : bool -> (Strs.elt -> GoblintCil.Pretty.doc -> unit) -> Strs.elt -> string option -> ?loc:GoblintCil.location -> (unit -> 'a) -> ('b, unit, GoblintCil.Pretty.doc, unit) Stdlib.format4 -> 'b
val trace : Strs.elt -> ?var:string -> ('a, unit, GoblintCil.Pretty.doc, unit) Stdlib.format4 -> 'a
val tracei : string -> ?var:string -> ?subsys:string list -> ('a, unit, GoblintCil.Pretty.doc, unit) Stdlib.format4 -> 'a
val tracec : Strs.elt -> ('a, unit, GoblintCil.Pretty.doc, unit) Stdlib.format4 -> 'a
val traceu : Strs.elt -> ('a, unit, GoblintCil.Pretty.doc, unit) Stdlib.format4 -> 'a
val tracel : Strs.elt -> ?var:string -> ('a, unit, GoblintCil.Pretty.doc, unit) Stdlib.format4 -> 'a
val traceli : Strs.elt -> ?var:string -> ?subsys:string list -> ('a, unit, GoblintCil.Pretty.doc, unit) Stdlib.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