code wiki / (root) / nx_html_to_text_test.nx

nx_html_to_text_test.nx

buildroot/runtime/nx_html_to_text_test.nx

5652 B158 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic html
docsdependenciesstructsconstsfunctions

about

nx_html_to_text_test.nx -- KATs for the sovereign browser's text- mode HTML renderer. K1 "<p>hello</p>" → "hello\n" K2 "<p>hi <b>there</b></p>" → "hi there\n" K3 "&amp; &lt; &gt;" → "& < >" K4 "<script>alert(1)</script>X" → "X" (script body suppressed) K5 "<p>a b</p>" → "a b\n" (whitespace collapsed) K6 "<h1>Title</h1><p>body</p>" → "Title\nbody\n" Built per F7 post-order DFS. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_html_to_text.nx nx_html_to_text_test.nx

imports: nx_syscalls.nxnx_html_to_text.nx

imported by: nobody (leaf or entry point)

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

main k1_p_hello sys_mmap nx_html_to_text nx_html_to_text_x h2t_state_new sys_mmap ↻ sys_mmap ↻ h2t_scan_tag h2t_skip_to_gt h2t_scan_name h2t_is_name h2t_is_block_tag h2t_name_eq_lit h2t_lc h2t_lc ↻ h2t_is_suppress_tag h2t_name_eq_lit ↻ h2t_emit_newline h2t_name_eq_lit ↻ h2t_emit_raw h2t_find_href h2t_lc ↻ h2t_is_name ↻ h2t_decode_entity h2t_decode_numeric h2t_is_name ↻ nx_html_entity_lookup h2t_emit_codepoint h2t_emit_text_byte h2t_is_ws h2t_emit_text_byte ↻ sys_munmap t_eq_bytes k2_inline_tag sys_mmap ↻ nx_html_to_text ↻ t_eq_bytes ↻ k3_entities sys_mmap ↻

structs

none

consts

none

functions

20func t_putstr(buf: *u8, off: i64, s: *u8, n: i64) -> i64
26func t_eq_bytes(got: *u8, got_len: i64, exp: *u8, exp_len: i64) -> i64
38func k1_p_hello() -> i64
55func k2_inline_tag() -> i64
76func k3_entities() -> i64
94func k4_script_suppressed() -> i64
112func k5_collapse_whitespace() -> i64
130func k6_heading_then_para() -> i64
150func main() -> i64