This package contains an API in ATS for the libevent package.
absvtype event (l:addr) = ptr (l)
vtypedef event0 = [l:addr] event (l)
vtypedef event1 = [l:addr | l > null] event (l)
Synopsis for [event_is_gtez] is unavailable.
castfn
event2ptr
{l:addr}(!event(l)):<> ptr(l)
fun event_null
((*void*)):<> event (null) = "mac#atspre_ptr_null"
praxi event_free_null{l:alez} (p: event l):<prf> void
fun
event_is_null
{l:addr}
(p: !event l):<> bool (l==null) = "mac#atspre_ptr_is_null"
fun event_isnot_null
{l:addr}
(p: !event l):<> bool (l > null) = "mac#atspre_ptr_isnot_null"
absvtype
event_base (l:addr) = ptr (l)
vtypedef event0_base = [l:addr] event_base (l)
vtypedef event1_base = [l:addr | l > null] event_base (l)
Synopsis for [event_base_is_gtez] is unavailable.
castfn
event2ptr_base
{l:addr}(!event_base(l)):<> ptr(l)
fun event_base_null
((*void*)):<> event_base (null) = "mac#atspre_ptr_null"
praxi
event_base_free_null{l:alez} (p: event_base (l)):<prf> void
fun
event_base_is_null
{l:addr}
(p: !event_base l):<> bool (l==null) = "mac#atspre_ptr_is_null"
fun
event_base_isnot_null
{l:addr}
(p: !event_base l):<> bool (l > null) = "mac#atspre_ptr_isnot_null"
absvtype
event_config (l:addr) = ptr (l)
vtypedef event0_config = [l:addr] event_config (l)
vtypedef event1_config = [l:addr | l > null] event_config (l)
Synopsis for [event_config_is_gtez] is unavailable.
castfn
event2ptr_config
{l:addr}(!event_config(l)):<> ptr(l)
fun
event_config_null
(
// argumentless
) :<> event_config (null) = "mac#atspre_ptr_null"
praxi
event_config_free_null
{l:addr | l <= null} (p: event_config l):<> void
fun
event_config_is_null
{l:addr}
(p: !event_config l):<> bool (l==null) = "mac#atspre_ptr_is_null"
fun
event_config_isnot_null
{l:addr}
(p: !event_config l):<> bool (l > null) = "mac#atspre_ptr_isnot_null"
fun event_config_new (): event0_config = "mac#%"
fun event_config_free (p: event0_config): void = "mac#%"
fun event_config_avoid_method
(cfg: !event1_config, method: NSH(string)): interr = "mac#%"