Module Wp.WarningSource

Contextual Errors

Sourceexception Error of string * string

Source, Reason

Sourceval error : ?source:string -> ('a, Format.formatter, unit, 'b) format4 -> 'a

Warning Manager

Sourcetype t = {
  1. loc : Frama_c_kernel.Filepath.position;
  2. severe : bool;
  3. source : string;
  4. reason : string;
  5. effect : string;
}
Sourceval compare : t -> t -> int
Sourceval pretty : Format.formatter -> t -> unit
Sourcemodule Set : Set.S with type elt = t
Sourcemodule Map : Map.S with type key = t
Sourceval severe : Set.t -> bool
Sourcetype context
Sourceval context : ?source:string -> unit -> context
Sourceval flush : context -> Set.t
Sourceval add : t -> unit
Sourceval create : ?log:bool -> ?severe:bool -> ?source:string -> effect:string -> ('a, Format.formatter, unit, t) format4 -> 'a
Sourceval emit : ?severe:bool -> ?source:string -> effect:string -> ('a, Format.formatter, unit) format -> 'a

Emit a warning in current context. Defaults: severe=true, source="wp".

Sourceval handle : ?severe:bool -> effect:string -> handler:('a -> 'b) -> ('a -> 'b) -> 'a -> 'b

Handle the error and emit a warning with specified severity and effect if a context has been set. Otherwise, a WP-fatal error is raised instead. Default for severe is false.

Sourcetype 'a outcome =
  1. | Result of Set.t * 'a
  2. | Failed of Set.t
Sourceval catch : ?source:string -> ?severe:bool -> effect:string -> ('a -> 'b) -> 'a -> 'b outcome

Set up a context for the job. If non-handled errors are raised, then a warning is emitted with specified severity and effect. Default for severe is true.