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

gitlab.com Readme Changelog Edit opam file Versions (2)

Authors

Maintainers

Sources

mopsa-analyzer-v1.0.tar.gz

md5=9f673f79708b44a7effb3b6bb3618d2c

sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4

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