ATSLIB/contrib/json-c/json_tokener

json_tokener2ptr

castfn
json_tokener2ptr
  {l:addr} (tok: !json_tokener (l)):<> ptr (l)

fun json_tokener_get_error
  (tok: !json_tokener1): json_tokener_error = "mac#%"

fun json_tokener_error_desc
  (jerr: json_tokener_error): string = "mac#%"

fun json_tokener_new (): json_tokener0 = "mac#%"

fun json_tokener_new_ex (depth: intGte(0)): json_tokener0 = "mac#%"

fun json_tokener_free (tok: json_tokener1): void = "mac#%"

fun json_tokener_reset (tok: !json_tokener1): void = "mac#%"

fun json_tokener_parse (str: string): json_object0 = "mac#%"

fun json_tokener_parse_verbose
  (str: string, error: &json_tokener_error): json_object0 = "mac#%"

fun json_tokener_parse_ex
  (tok: !json_tokener1, str: string, len: intGte(0)): json_object0 = "mac#%"

fun json_tokener_set_flags (tok: !json_tokener1, flags: int): void = "mac#%"

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