ATSLIB/contrib/json-c/arraylist


  • array_list2ptr
  • array_list_new
  • array_list_free
  • array_list_length
  • array_list_add
  • array_list_get_idx
  • array_list_put_idx
  • array_list_sort

  • array_list2ptr

    Synopsis

    castfn
    array_list2ptr {l:addr} (al: !array_list (l)):<> ptr (l)

    array_list_new

    Synopsis

    fun array_list_new
      (free_fn: free_fn_type): array_list0 = "mac#%"

    array_list_free

    Synopsis

    fun array_list_free (al: array_list1):<!wrt> void = "mac#%"

    array_list_length

    Synopsis

    fun array_list_length (al: !array_list1):<> intGte(0) = "mac#%"

    array_list_add

    Synopsis

    fun array_list_add
      (al: !array_list1, data: Ptr0):<!wrt> int(*err*) = "mac#%"

    array_list_get_idx

    Synopsis

    fun array_list_get_idx (al: !array_list1, i: intGte(0)):<> Ptr0 = "mac#%"

    array_list_put_idx

    Synopsis

    fun array_list_put_idx
      (al: !array_list1, i: intGte(0), data: Ptr0):<!wrt> int(*err*) = "mac#%"

    array_list_sort

    Synopsis

    fun array_list_sort
      (al: !array_list1, cmp: (ptr, ptr) -<fun> int):<!wrt> void = "mac#%"

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