ATSLIB/contrib/json-c/json_util

json_object_from_file

fun json_object_from_file
  (filename: string): json_object0 = "mac#%"

fun{
} json_objlst_from_file
  (filename: string): List0_vt (json_object0)

This function is based on json_tokener_parse_list. It essentially parses the content of a given file into a list of (possibly null) json-objects.

fun json_object_to_file
  (filename: string, !json_object0): int(*err*) = "mac#%"

fun json_object_to_file_ext
  (filename: string, !json_object0, flags: int): int(*err*) = "mac#%"

fun json_parse_int64
(
  buf: string, retval: &int64? >> opt(int64, i==0)
) : #[i:int | i >= 0] int(i) = "mac#%"

fun json_parse_double
(
  buf: string, retval: &double? >> opt(double, i==0)
) : #[i:int | i >= 0] int(i) = "mac#%"

fun json_type_to_name (type: json_type): string = "mac#%"

This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi.