ATSLIB/contrib/json-c/json_object_iterator
Synopsis
fun
json_object_iter_clear{l:addr}
(
jso: !json_object(l), iter: &json_object_iterator(l) >> _?
) : void = "mac#%"
Description
This function is for invalidating a given iterator so that it is no longer
available for use subsequently.
Synopsis
fun json_object_iter_begin
{l:agz} (jso: !json_object(l)): json_object_iterator(l) = "mac#%"
Synopsis
fun json_object_iter_end
{l:agz} (jso: !json_object(l)): json_object_iterator(l) = "mac#%"
Synopsis
fun json_object_iter_next
{l:addr} (jso: &json_object_iterator(l) >> _): void = "mac#%"
Synopsis
fun json_object_iter_peek_name
{l:addr} (jso: &json_object_iterator(l)): vStrptr1 = "mac#%"
Synopsis
fun json_object_iter_peek_value{l:addr}
(jso: &json_object_iterator(l)): [l2:agez] vttakeout0 (json_object(l2)) = "mac#%"
Synopsis
overload = with json_object_iter_equal
Synopsis
fun
json_object_iter_equal{l:addr}
(
iter1: &json_object_iterator(l)
, iter2: &json_object_iterator(l)
) : bool = "mac#%"
Synopsis
overload != with json_object_iter_notequal
Synopsis
fun
json_object_iter_notequal{l:addr}
(
iter1: &json_object_iterator(l)
, iter2: &json_object_iterator(l)
) : bool = "mac#%"