Module `Output.Text`Source

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

Source

val highlight_range : 
  int ->
  Stdlib.Format.formatter ->
  Mopsa_utils.Location.range ->
  unit

Highlight source code at a given location range

Source

val pp_diagnostic : 
  string option ->
  int ->
  'a Core.All.diagnostic_ ->
  Core.All.CallstackSet.t ->
  Core.All.alarm_kind list ->
  unit

Source

val 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

Source

val construct_checks_summary : 
  ?print:bool ->
  Core.All.report ->
  string option ->
  int * int * int * int * (int * int * int) Core.All.CheckMap.t

Source

val print_checks_summary : 
  (int * int * int) Core.All.CheckMap.t ->
  int ->
  int ->
  int ->
  int ->
  string option ->
  unit

Source

val report : 
  ('a, 'b) Core.All.man ->
  'a Core.All.Flow.flow ->
  time:float ->
  files:'c ->
  out:string option ->
  unit

Source

val panic : 
  exn ->
  btrace:string ->
  time:'a ->
  files:'b ->
  out:string option ->
  (unit -> 'c) ->
  'c

Source

val 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

Source

val print : 
  Core.All.printer ->
  range:Mopsa_utils.Location.range ->
  out:string option ->
  unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/output/Output/Text/index.html

Module `Output.Text`Source

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/output/Output/Text/index.html

Module Output.TextSource

Module `Output.Text`Source