code wiki / (root) / nx_doc_to_urf_test.nx

nx_doc_to_urf_test.nx

buildroot/runtime/nx_doc_to_urf_test.nx

2191 B54 linesdepth 5pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic doc

docs dependencies structs consts functions

about

nx_doc_to_urf_test.nx -- gate for the multi-page document->URF encoder. Unique exit codes per invariant: 1x 6 explicit lines on a tiny page (~4 lines/page) -> 2 pages 2x URF file header valid: "UNIRAST\0" + pageCount BE == 2 3x page-1 header has correct width (BE) at the right offset 4x page-1 RLE decodes back to W*H pixels (valid raster) expect_exit: 0 license_tier: ORIGINAL

dependencies 6 imports · 0 importers

imports: nx_syscalls.nxnx_font8x8.nxnx_doc_layout.nxnx_pwg_rle.nxnx_urf.nxnx_doc_to_urf.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

15	func 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
16	func be32(d: *u8, o: i64) -> i64 called by 1: main
20	func main() -> i64 calls 6: font8x8_table sys_mmap nx_doc_to_urf be32 nx_rle_decode t_puts