package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Output.TextSource

Display the results of the analysis in a textual form.

Sourceval opt_show_callstacks : bool Stdlib.ref

Command-line option to enable display of alarms call stacks

Sourceval opt_tw : int Stdlib.ref

Command-line option to specify the number of spaces to use for printing tabs

Sourceval compile_tab_columns : int -> string -> Mopsa_utils.Location.pos -> int
Sourceval replace_tabs : int -> string -> string
module AlarmKindSet : sig ... end
Sourceval color_of_diag : Core.All.diagnostic_kind -> int
Sourceval icon_of_diag : Core.All.diagnostic_kind -> string
Sourceval highlight_range : int -> Stdlib.Format.formatter -> Mopsa_utils.Location.range -> unit

Highlight source code at a given location range

Sourceval pp_diagnostic : string option -> int -> 'a Core.All.diagnostic_ -> Core.All.CallstackSet.t -> Core.All.alarm_kind list -> unit
Sourceval incr_check_diag : int -> Core.All.CheckMap.key -> Core.All.diagnostic_kind -> (int * int * int) Core.All.CheckMap.t -> (int * int * int) Core.All.CheckMap.t
Sourceval construct_checks_summary : ?print:bool -> Core.All.report -> string option -> int * int * int * int * (int * int * int) Core.All.CheckMap.t
Sourceval print_checks_summary : (int * int * int) Core.All.CheckMap.t -> int -> int -> int -> int -> string option -> unit
Sourceval report : ('a, 'b) Core.All.man -> 'a Core.All.Flow.flow -> time:float -> files:'c -> out:string option -> unit
Sourceval panic : exn -> btrace:string -> time:'a -> files:'b -> out:string option -> (unit -> 'c) -> 'c
Sourceval group_args_by_category : Mopsa_utils.ArgExt.arg list -> (string * Mopsa_utils.ArgExt.arg list) list
Sourceval help : Mopsa_utils.ArgExt.arg list -> out:string option -> unit
Sourceval list_domains : string list -> out:string option -> unit
Sourceval list_reductions : string list -> out:string option -> unit
Sourceval list_checks : Core.Alarm.check list -> out:string option -> unit
Sourceval list_hooks : string list -> out:string option -> unit
Sourceval print : Core.All.printer -> range:Mopsa_utils.Location.range -> out:string option -> unit
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