package wcs-lib

  1. Overview
  2. Docs

Module Wcs_lib.JsonSource

Json utilities.

Sourceval read_json_file : (Yojson.lexer_state -> Lexing.lexbuf -> 'a) -> string -> 'a

read_json_file reader fname reads the file fname using the reader reader generated by atdgen.

Sourceval null : Wcs_t.json

The null value of JSON.

Sourceval set : Wcs_t.json -> string -> Wcs_t.json -> Wcs_t.json

set o x v add (or replace) the a field x of the object o with value v.

Sourceval get : Wcs_t.json -> string -> Wcs_t.json option

get o x gets the value of the field x of the object o.

Sourceval take : Wcs_t.json -> string -> Wcs_t.json * Wcs_t.json option

take o x gets the value of the field x of the object o and remove the field from the object. The left part of the return value is the modified object and the right part is the value of the field.

The "skip_user_input" field
Sourceval set_skip_user_input : Wcs_t.json -> bool -> Wcs_t.json

set_skip_user_input ctx b set the field "skip_user_input" of the object ctx with value b.

Sourceval take_skip_user_input : Wcs_t.json -> Wcs_t.json * bool

take_skip_user_input ctx take the field "skip_user_input" of the object ctx. If the field is the defined, it returns false.

The "actions" field
Sourceval set_actions : Wcs_t.json -> Wcs_t.action list -> Wcs_t.json

set_actions ctx l set the field "actions" of the object ctx with the list of actions l.

Sourceval take_actions : Wcs_t.json -> Wcs_t.json * Wcs_t.action list option

take_actions ctx take the field "actions" of the object ctx.

Sourceval push_action : Wcs_t.json -> Wcs_t.action -> Wcs_t.json

push_action ctx act add the action act in the list of actions stored in the field "actions" of ctx. It the field "actions" doesn't exists, it creates it.

Sourceval pop_action : Wcs_t.json -> Wcs_t.json * Wcs_t.action option

pop_action ctx take an action act in the list of actions stored in the field "actions" of ctx.

The "continuation" field
Sourceval set_continuation : Wcs_t.json -> Wcs_t.action -> Wcs_t.json

set_continuation ctx act set the field "continuation" of the object ctx with the action act.

Sourceval get_continuation : Wcs_t.json -> Wcs_t.action option

get_continuation ctx get the value of the field "continuation" of the object ctx.

Sourceval take_continuation : Wcs_t.json -> Wcs_t.json * Wcs_t.action option

take_continuation ctx take the value of the field "continuation" of the object ctx.

The "return" field
Sourceval set_return : Wcs_t.json -> Wcs_t.json -> Wcs_t.json

set_return ctx v set the field "return" of the object ctx with the value v.

Sourceval get_return : Wcs_t.json -> Wcs_t.json option

get_return ctx get the value of the field "return" of the object ctx.

Boolean fields
Sourceval set_bool : Wcs_t.json -> string -> bool -> Wcs_t.json

set_bool o x b sets the a field x of the object o with value b.

Sourceval get_bool : Wcs_t.json -> string -> bool option

get_bool o x gets the value of the field x of the object o.

String fields
Sourceval set_string : Wcs_t.json -> string -> string -> Wcs_t.json

set_string o x x sets the a field x of the object o with string s.

Sourceval get_string : Wcs_t.json -> string -> string option

get_string o x gets the value of the field x of the object o.

Sourceval take_string : Wcs_t.json -> string -> Wcs_t.json * string option

take_string o x takes the value of the field x of the object o.