package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install

Dune Dependency

mopsa.lip6.fr Readme Changelog Edit opam file Versions (2)

Authors

Maintainers

Sources

mopsa-analyzer-v1.1.tar.gz

md5=fdee20e988343751de440b4f6b67c0f4

sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500

doc/utils_core/Utils_core/Debug/index.html

Module `Utils_core.Debug`Source

Debug - Conditional debugging with channel filtering.

Sourceval channels : Str.regexp list Stdlib.ref

Sourceval print_warnings : bool Stdlib.ref

Sourceval print_color : bool Stdlib.ref

Sourceval print_all : bool Stdlib.ref

Sourceval white : int

Sourceval red : int

Sourceval green : int

Sourceval yellow : int

Sourceval blue : int

Sourceval magenta : int

Sourceval fushia : int

Sourceval orange : int

Sourceval teal : int

Sourceval gray : int

Sourceval pink : int

Sourceval add_channel : string -> unit

Sourceval parse : string -> unit

Sourceval set_channels : string -> unit

Sourceval can_print : string -> bool

Sourceval random_color : 'a -> int

Gives a random map of channel colors

Source

val color : 
  int ->
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a ->
  unit

Sourceval color_str : int -> Stdlib.Format.formatter -> string -> unit

Source

val bold : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a ->
  unit

Sourceval pp_channel : Stdlib.Format.formatter -> string -> unit

Sourceval pp_channel_with_time : 'a -> string -> unit

Source

val debug : 
  ?channel:string ->
  ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 ->
  'a

Sourceval info : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a

Sourceval plurial_list : Stdlib.Format.formatter -> 'a list -> unit

Sourceval plurial_int : Stdlib.Format.formatter -> int -> unit

Sourceval panic : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a

Source

val panic_at : 
  Location.range ->
  ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 ->
  'a

Sourceval warn : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a

Source

val warn_at : 
  Location.range ->
  ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 ->
  'a

Sourceval terminal_has_colors : unit -> bool

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/utils_core/Utils_core/Debug/index.html

Module Utils_core.DebugSource

Module `Utils_core.Debug`Source