package why3find

  1. Overview
  2. Docs
A Why3 Package Manager

Install 

dune-project
 Dependency

git.frama-c.com Readme Changelog LGPL-2.1-only License Edit opam file Versions (3)

Authors

  1. L
    Loïc Correnson <loic.correnson@cea.fr>
  2. B
    Benjamin Jorge <benjamin.jorge@cea.fr>

Maintainers

  1. B
    benjamin.jorge@cea.fr
  2. L
    loic.correnson@cea.fr

Sources

why3find-1.3.0.tar.gz
md5=435da830a513fd91ec5411c91126b763
sha512=fd8b04eb16d569c0dc9e5595a40b174d7858121b080c81d459b2f28fb3af1ebc32ef408859d5c1c5f45c61790625c027c2ecfc3d45e597943543de7212bab8d6

doc/why3find.utils/Why3findUtils/Json/index.html

Module Why3findUtils.JsonSource

Sourceval of_file : string -> t
Sourceval of_string : string -> t
Sourceval to_file : ?pretty_floats:bool -> string -> t -> unit

to_file ~pretty_floats path t print the json value t in file path. If pretty_floats is set to true, the floats inside t are truncated to 3 decimals. If it is set to false, floats are printed with full precision. The default is false.

Sourceval to_string : ?pretty_floats:bool -> t -> string

to_string ~pretty_floats t convert the json value t to a string. If pretty_floats is set to true, the floats inside t are truncated to 3 decimals. If it is set to false, floats are printed with full precision. The default is false.

Sourceval pp_gen : ?pretty_floats:bool -> Format.formatter -> t -> unit

pp_gen ~pretty_floats fmt t print the json value t in formatter fmt. If pretty_floats is set to true, the floats inside t are truncated to 3 decimals. If it is set to false, floats are printed with full precision. The default is false.

Sourceval pretty : Format.formatter -> t -> unit

pretty fmt t print the json value t in formatter fmt, truncating floats inside t to 3 decimals.

Sourceval print : Format.formatter -> t -> unit

print fmt t print the json value t in formatter fmt. Floats inside t are printed with full precision.

Sourceval is_empty : t -> bool
Sourceval jint : t -> int
Sourceval jbool : t -> bool
Sourceval jfloat : t -> float
Sourceval jstring : t -> string
Sourceval jstringlist : t -> string list
Sourceval jlist : t -> t list
Sourceval jmap : (t -> 'a) -> t -> 'a list
Sourceval mfield : string -> t -> bool
Sourceval jfield : string -> t -> t
Sourceval jfield_exn : string -> t -> t
Sourceval jpath : string -> t -> t
Sourceval joption : (t -> 'a) -> t -> 'a option
Sourceval jdefault : 'a -> (t -> 'a) -> t -> 'a
Sourceval jmem : string -> t -> bool
Sourceval jiter : (string -> t -> unit) -> t -> unit
Sourceval null : t
Sourceval int : int -> t
Sourceval bool : bool -> t
Sourceval string : string -> t
Sourceval assoc : ?keepnull:bool -> ?nullempty:bool -> (string * t) list -> t
Sourceval list : ?keepnull:bool -> ?nullempty:bool -> t list -> t
Sourceval list_map : ?keepnull:bool -> ?nullempty:bool -> ('a -> t) -> 'a list -> t
Sourceval option_map : ('a -> t) -> 'a option -> t