ATSLIB/contrib/zlog/zlog

This package contains an API for zlog in ATS.

zlgctx

Synopsis

stadef zlgctx = zlog_context_t0ype

zlog_context_t0ype

Synopsis

absvt@ype
zlog_context_t0ype (n:int) = int

zlgctx0

Synopsis

vtypedef zlgctx0 = [n:int] zlgctx (n)

zlgctx1

Synopsis

vtypedef zlgctx1 = [n:int | n >= 0] zlgctx (n)

zlgctx2int

Synopsis

castfn zlgctx2int {n:int} (!zlgctx(n)):<> int(n)

zlgcat

Synopsis

stadef zlgcat = zlog_category_type

zlog_category_type

Synopsis

absvtype
zlog_category_type (l:addr) = ptr(l)

zlgcat1

Synopsis

vtypedef zlgcat1 = [l:addr | l > null] zlgcat (l)

zlgcat2ptr

Synopsis

castfn zlgcat2ptr {l:addr} (!zlgcat (l)):<> ptr (l)

zlog_init

Synopsis

fun zlog_init
  (cfg: NSH(stropt)): zlgctx0 = "mac#%"

zlog_reload

Synopsis

fun zlog_reload
  (!zlgctx1 >> _, cfg: NSH(stropt)): int(*err*) = "mac#%"

zlog_fini

Synopsis

fun zlog_fini (zlgctx0): void = "mac#%"

zlog_get_category

Synopsis

fun zlog_get_category
  {n:int | n >= 0}
(
  ctx: !zlgctx (n), cname: NSH(string)
) : [l:addr]
(
  minus (zlgctx(n), zlgcat(l)) | zlgcat(l)
) = "mac#%" // endfun

zlog_get_mdc

Synopsis

fun zlog_get_mdc
  (!zlgctx1, string(*key*)): vStrptr0 = "mac#%"

zlog_put_mdc

Synopsis

fun zlog_put_mdc
  (!zlgctx1, string(*key*), string(*val*)): int = "mac#%"

zlog_remove_mdc

Synopsis

fun zlog_remove_mdc (!zlgctx1, string(*key*)): void = "mac#%"

zlog_clean_mdc

Synopsis

fun zlog_clean_mdc (!zlgctx1): void = "mac#%"