code wiki / (root) / nx_toner_liberate_test.nx

nx_toner_liberate_test.nx

buildroot/runtime/nx_toner_liberate_test.nx

3286 B70 linesdepth 3pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic toner
docsdependenciesstructsconstsfunctions

about

nx_toner_liberate_test.nx -- gate for the toner-liberation classifier. Unique exit codes per invariant: 1x idle + accepting + toner-low-warning (the REAL Brother) -> PRINTS_NOW, toner_flag=1 2x stopped + toner-empty-error -> NEEDS_CONTINUE, toner_flag=1 3x idle + NOT accepting + marker-supply-low-warning -> NEEDS_RESET, toner_flag=1 4x healthy idle + accepting + none -> PRINTS_NOW, toner_flag=0 5x malformed response -> UNKNOWN expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_ipp_codec.nx nx_toner_liberate.nx nx_toner_liberate_test.nx

imports: nx_syscalls.nxnx_ipp_codec.nxnx_toner_liberate.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap base nx_ipp_begin nx_ipp_put_u16 nx_ipp_put_u32 nx_ipp_group nx_ipp_attr_int nx_ipp_put_u16 ↻ nx_ipp_memcpy nx_ipp_put_u32 ↻ nx_ipp_attr_bool nx_ipp_put_u16 ↻ nx_ipp_memcpy ↻ nx_ipp_attr nx_ipp_put_u16 ↻ nx_ipp_memcpy ↻ nx_ipp_end nx_toner_liberate nx_printer_diagnose nx_ipp_get_enum nx_ipp_find nx_ipp_strlen nx_ipp_get_u16 nx_ipp_name_eq nx_ipp_get_u32 nx_ph_worst_reason_severit nx_ipp_get_u16 ↻ nx_ipp_name_eq ↻ nx_ph_reason_severity nx_ipp_name_eq ↻ nx_ph_ends_with nx_ipp_strlen ↻ nx_ipp_name_eq ↻ nx_ph_accepting nx_ipp_find ↻ nx_printer_can_print nx_printer_waste nx_ipp_set_int_at nx_ipp_strlen ↻

structs

none

consts

none

functions

13func t_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 1: main calls 1: sys_write
15func base(buf: *u8, state: i64, accepting: i64) -> i64
called by 1: main calls 4: nx_ipp_beginnx_ipp_groupnx_ipp_attr_intnx_ipp_attr_bool
23func main() -> i64
calls 8: sys_mmapbasenx_ipp_attrnx_ipp_endnx_toner_liberatenx_ipp_put_u16+2