ATSLIB/contrib/json-c/mybasis

json_bool

Synopsis

typedef json_bool = int

lh_entry

Synopsis

vtypedef
lh_entry (l:addr) = lh_entry_vtype (l)

lh_entry_vtype

Synopsis

absvtype
lh_entry_vtype (l:addr) = ptr

lh_entry0

Synopsis

vtypedef
lh_entry0 = [l:agez] lh_entry (l)

lh_entry1

Synopsis

vtypedef
lh_entry1 = [l:addr | l > null] lh_entry (l)

lh_table

Synopsis

vtypedef
lh_table (l:addr) = lh_table_vtype (l)

lh_table_vtype

Synopsis

absvtype
lh_table_vtype (l:addr) = ptr

lh_table0

Synopsis

vtypedef
lh_table0 = [l:agez] lh_table (l)

lh_table1

Synopsis

vtypedef
lh_table1 = [l:addr | l > null] lh_table (l)

lh_entry_free_fn_type

Synopsis

typedef
lh_entry_free_fn_type = (lh_entry1) -> void

lh_hash_fn_type

Synopsis

typedef lh_hash_fn_type = (Ptr0) -<> ulint

lh_equal_fn_type

Synopsis

typedef
lh_equal_fn_type = (Ptr0, Ptr0) -<> int

array_list

Synopsis

vtypedef
array_list (l:addr) = array_list_vtype (l)

array_list_vtype

Synopsis

absvtype
array_list_vtype (l:addr) = ptr

array_list0

Synopsis

vtypedef
array_list0 = [l:agez] array_list (l)

array_list1

Synopsis

vtypedef
array_list1 = [l:addr | l > null] array_list (l)

printbuf

Synopsis

vtypedef
printbuf (l:addr) = printbuf_vtype (l)

printbuf_vtype

Synopsis

absvtype
printbuf_vtype (l:addr) = ptr

printbuf0

Synopsis

vtypedef
printbuf0 = [l:agez] printbuf (l)

printbuf1

Synopsis

vtypedef
printbuf1 = [l:addr | l > null] printbuf (l)

json_type

Synopsis

typedef json_type = int

json_object

Synopsis

vtypedef
json_object (l:addr) = json_object_vtype (l)

json_object_vtype

Synopsis

absvtype
json_object_vtype (l:addr) = ptr

json_object0

Synopsis

vtypedef
json_object0 = [l:agez] json_object (l)

json_object1

Synopsis

vtypedef
json_object1 = [l:addr | l > null] json_object (l)

json_object_iterator

Synopsis

vtypedef
json_object_iterator (l:addr) = json_object_iterator_vt0ype (l)

vtypedef json_object_iterator = [l:addr] json_object_iterator (l)

json_object_iterator_vt0ype

Synopsis

absvt0ype
json_object_iterator_vt0ype
  (l:addr) = $extype"json_object_iterator_struct"

json_tokener_error

Synopsis

typedef
json_tokener_error = int

json_tokener_state

Synopsis

typedef
json_tokener_state = int

json_tokener

Synopsis

vtypedef
json_tokener (l:addr) = json_tokener_vtype (l)

json_tokener_vtype

Synopsis

absvtype
json_tokener_vtype (l:addr) = ptr

json_tokener0

Synopsis

vtypedef
json_tokener0 = [l:agez] json_tokener (l)

json_tokener1

Synopsis

vtypedef
json_tokener1 = [l:addr | l > null] json_tokener (l)

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