ATSLIB/contrib/json-c/linkhash

lh_entry2ptr

Synopsis

castfn
lh_entry2ptr {l:addr} (ent: !lh_entry (l)):<> ptr (l)

lh_entry_get_key

Synopsis

fun lh_entry_get_key (ent: !lh_entry1):<> Ptr0 = "mac#%"

lh_entry_get_val

Synopsis

fun lh_entry_get_val (ent: !lh_entry1):<> Ptr0 = "mac#%"

lh_table2ptr

Synopsis

castfn
lh_table2ptr {l:addr} (tbl: !lh_table (l)):<> ptr (l)

lh_table_new

Synopsis

fun lh_table_new
(
  size: intGte(0), name: string
, free_fn: lh_entry_free_fn_type
, hash_fn: lh_hash_fn_type, equal_fn: lh_equal_fn_type
) : lh_table0 = "mac#%" // end of [lh_table_new]

lh_char_hash

Synopsis

fun lh_char_hash : lh_hash_fn_type = "mac#%"

lh_char_equal

Synopsis

fun lh_char_equal : lh_equal_fn_type = "mac#%"

lh_kchar_table_new

Synopsis

fun lh_kchar_table_new
(
  size: intGt(0), name: string, free_fn: lh_entry_free_fn_type
) : lh_table0 = "mac#%" // end of [lh_kchar_table_new]

lh_ptr_hash

Synopsis

fun lh_ptr_hash : lh_hash_fn_type = "mac#%"

lh_ptr_equal

Synopsis

fun lh_ptr_equal : lh_equal_fn_type = "mac#%"

lh_kptr_table_new

Synopsis

fun lh_kptr_table_new
(
  size: intGte(0), name: string, free_fn: lh_entry_free_fn_type
) : lh_table0 = "mac#%"// end of [lh_kptr_table_new]

lh_table_free

Synopsis

fun lh_table_free (t: lh_table1):<!wrt> void = "mac#%"

lh_table_length

Synopsis

fun lh_table_length (t: !lh_table1):<> intGte(0) = "mac#%"

lh_table_insert

Synopsis

fun lh_table_insert
  (t: !lh_table1, k: Ptr0, v: Ptr0): int(*err*) = "mac#%"

lh_table_delete

Synopsis

fun lh_table_delete
  (t: !lh_table1, k: Ptr0): int(*err*) = "mac#%"

lh_table_delete_entry

Synopsis

fun lh_table_delete_entry
  (t: !lh_table1, e: Ptr0): int(*err*) = "mac#%"

lh_table_lookup

Synopsis

fun lh_table_lookup
   (t: !lh_table1, k: Ptr0):<> Ptr0(*val*) = "mac#%"

lh_table_lookup_ex

Synopsis

fun lh_table_lookup_ex
  (t: !lh_table1, k: Ptr0, v: &ptr? >> Ptr0): json_bool = "mac#%"

lh_table_lookup_entry

Synopsis

fun lh_table_lookup_entry
   (t: !lh_table1, k: Ptr0):<> [l:addr] vttakeout0 (lh_entry(l)) = "mac#%"

lh_table_resize

Synopsis

fun lh_table_resize
  (t: !lh_table1, new_size: intGte(0)): void = "mac#%"

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