ATSLIB/contrib/json-c/json_object
Synopsis
castfn
json_object2ptr
{l:addr} (al: !json_object (l)):<> ptr (l)
Synopsis
fun json_object_get{l:addr}
(jso: !json_object(l)): json_object(l) = "mac#%"
Synopsis
fun json_object_put (jso: json_object0): int = "mac#%"
Synopsis
fun json_object_is_type
(jso: !json_object0, type: json_type):<> int = "mac#%"
Synopsis
fun json_object_get_type
(jso: !json_object0):<> json_type = "mac#%"
Synopsis
fun json_object_to_json_string
(jso: !json_object0): vStrptr1 = "mac#%"
Synopsis
fun json_object_to_json_string_ext
(jso: !json_object0, flags: int): vStrptr1 = "mac#%"
Synopsis
fun{
} print_json_object (jso: !json_object0): void
Synopsis
fun{
} print_json_object_ext (jso: !json_object0, flags: int): void
Synopsis
fun{
} prerr_json_object (jso: !json_object0): void
Synopsis
fun{
} prerr_json_object_ext (jso: !json_object0, flags: int): void
Synopsis
fun{
} fprint_json_object
(out: FILEref, jso: !json_object0): void
Synopsis
fun{
} fprint_json_object_ext
(out: FILEref, jso: !json_object0, flags: int): void
Synopsis
fun json_object_new_boolean (b: json_bool): json_object0 = "mac#%"
Synopsis
fun json_object_get_boolean (obj: !json_object1): json_bool = "mac#%"
Synopsis
fun json_object_new_int (i: int32): json_object0 = "mac#%"
Synopsis
fun json_object_get_int (obj: !json_object1): int32 = "mac#%"
Synopsis
fun json_object_new_int64 (i: int64): json_object0 = "mac#%"
Synopsis
fun json_object_get_int64 (obj: !json_object1): int64 = "mac#%"
Synopsis
fun json_object_new_double (d: double): json_object0 = "mac#%"
Synopsis
fun json_object_get_double (obj: !json_object1): double = "mac#%"
Synopsis
fun json_object_new_string (s: string): json_object0 = "mac#%"
Synopsis
fun json_object_new_string_len (s: string, len: intGte(0)): json_object0 = "mac#%"
Synopsis
fun json_object_get_string (jso: !json_object1): vStrptr1 = "mac#%"
Synopsis
fun json_object_get_string_len (jso: !json_object1): intGte(0) = "mac#%"
Synopsis
fun json_object_new_array (): json_object0 = "mac#%"
Synopsis
fun json_object_get_array
{l:agz} (jso: !json_object(l))
: [l2:agez] vtget0 (json_object(l), array_list(l2)) = "mac#%"
Synopsis
fun json_object_array_length (jso: !json_object1): intGte(0) = "mac#%"
Synopsis
fun json_object_array_add
(jso: !json_object1, _val: json_object0): int = "mac#%"
Synopsis
fun
json_object_array_get_idx{l:agz}
(
jso: !json_object(l), idx: intGte(0)
) : [l2:agez] vtget0 (json_object(l), json_object(l2)) = "mac#%"
Synopsis
fun
json_object_array_put_idx
{l:agz;l2:addr} (
jso: !json_object(l), idx: intGte(0)
, _val: !json_object(l2) >> opt (json_object(l2), i < 0)
) : #[i:int | i <= 0] int (i) = "mac#%"
Synopsis
fun json_object_array_put2_idx
(jso: !json_object1, idx: intGte(0), _val: json_object0): int = "mac#%"
Synopsis
fun json_object_new_object (): json_object0 = "mac#%"
Synopsis
fun
json_object_get_object
{l:agz} (jso: !json_object(l))
: [l2:agez] vtget0 (json_object(l), lh_table(l2)) = "mac#%"
Synopsis
fun jsob_object_object_length (jso: !json_object1): intGte(0) = "mac#%"
Synopsis
fun json_object_object_add
(
jso: !json_object1, key: string, jso_val: json_object0
) : void = "mac#%"
Synopsis
fun json_object_object_del (jso: !json_object1, key: string): void = "mac#%"
Synopsis
fun
json_object_object_get{l:agz}
(
jso: !json_object(l), key: string
) : [l2:agez] vtget0 (json_object(l), json_object(l2)) = "mac#%"
Synopsis
fun{}
json_object_iforeach (jso: !json_object1): void
Description
This function is a special case of json_object_iforeach_env
where the third argument named env is ignored.
Synopsis
fun{env:vt0p}
json_object_iforeach_env (jso: !json_object1, env: &env >> _): void
Description
This function can be employed to traverse the fields of a given json array.
Synopsis
fun{env:vt0p}
json_object_iforeach$cont
(i: int, v: !json_object0, env: &env): bool
Synopsis
fun{env:vt0p}
json_object_iforeach$fwork
(i: int, v: !json_object0, env: &env >> _): void
Synopsis
fun{}
json_object_kforeach (jso: !json_object1): void
Description
This function is a special case of json_object_kforeach_env
where the third argument named env is ignored.
Synopsis
fun{env:vt0p}
json_object_kforeach_env (jso: !json_object1, env: &env >> _): void
Description
This function can be employed to traverse the fields of a given json object.
Synopsis
fun{env:vt0p}
json_object_kforeach$cont
(k: !Strptr1, v: !json_object0, env: &env): bool
Synopsis
fun{env:vt0p}
json_object_kforeach$fwork
(k: !Strptr1, v: !json_object0, env: &env >> _): void
Synopsis
overload iseqz with json_object_is_null
Synopsis
overload isneqz with json_object_isnot_null
Synopsis
overload print with print_json_object
overload print with print_json_object_ext
Synopsis
overload prerr with prerr_json_object
overload prerr with prerr_json_object_ext
Synopsis
overload fprint with fprint_json_object
overload fprint with fprint_json_object_ext