code wiki / _hdl_build / nx_table_cell_gate.nx

nx_table_cell_gate.nx

buildroot/runtime/_hdl_build/nx_table_cell_gate.nx

8743 B155 linesdepth 8pulls 28 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_table_cell_gate.nx -- VERDICT gate for TABLE CELL containment: <td>/<th> are BLOCK containers (display:table-cell), NOT inline. Before the fix they defaulted to inline, so a cell's block children flattened out (became flex siblings), the cell collapsed to h=0, and the table height was wrong (the Wikipedia infobox overlap). This gate builds a 2-row table whose cells contain block <div>s and asserts: each cell has NON-ZERO height, each cell CONTAINS its div (div.x within the cell), and the table height == sum of its rows (no collapse). LIAR-KILL: a wrong expectation is rejected. 100% sovereign. license_tier: ORIGINAL

dependencies 14 imports · 0 importers

nx_syscalls.nx nx_css_tokenize.nx nx_css_parse.nx nx_css_apply.nx nx_css_color_decode.nx nx_css_dimension_to_px.nx nx_css_selector_match.nx nx_html_tokenizer.nx nx_dom_query.nx nx_layout_box.nx nx_table_cell_gate.nx

diagram shows first 10 each side; +4 more imports, +0 more importers in the complete lists below.

imports: nx_syscalls.nxnx_css_tokenize.nxnx_css_parse.nxnx_css_apply.nxnx_css_color_decode.nxnx_css_dimension_to_px.nxnx_css_selector_match.nxnx_html_tokenizer.nxnx_dom_query.nxnx_layout_box.nxnx_layout_default_display.nxnx_layout_from_dom.nxnx_layout_block.nxnx_render_html.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 g_w sys_write run_layout sys_mmap ↻ nx_layout_tree_init nx_layout_from_dom_stack_i nx_layout_from_dom nx_layout_box_append _layout_box_at _lfd_push sys_mmap ↻ nx_html_cursor_init nx_html_next_token _scan_name _is_name _is_void_element _lc _lfd_is_chrome_start _lfd_chrome_tag _lfd_has_role_nav _lfd_name_eq _lfd_lc _lfd_has_chrome_class _lfd_src_has_sub _lfd_inline_hidden _lfd_src_has_sub ↻ nx_layout_default_display _disp_eq1 _disp_lc _disp_is_h_family _disp_lc ↻ _disp_eq2 _disp_lc ↻ _disp_eq3 _disp_lc ↻ _disp_eq4 _disp_lc ↻ _disp_eq5

structs

none

consts

none

functions

23func g_w(s: *u8) -> i64 { var k: i64=0; while s[k]!=(0 as u8){k=k+1} sys_write(1,s,k); return 0 }
called by 2: chkmain calls 1: sys_write
24func pn(v0: i64) -> i64 { var v: i64=v0; if v<0 { let m: *u8=sys_mmap(8); m[0]=45 as u8; sys_write(1,m,1); v=0-v } let b: *u8=sys_mmap(24); var k: i64=0; if v==0 {b[0]=48;k=1} while v>0 {b[k]=(48+(v%10)) as u8; v=v/10; k=k+1} let o: *u8=sys_mmap(24); var j: i64=0; while j<k {o[j]=b[k-1-j];j=j+1} sys_write(1,o,k); return 0 }
called by 1: main calls 2: sys_mmapsys_write
26func run_layout(html: *u8, css: *u8, vw: i64, tree_out: **LayoutTree, boxel_out: **CssElement, buf_out: **u8) -> i64
called by 1: main calls 13: sys_mmapnx_layout_tree_initnx_layout_from_dom_stack_initnx_layout_from_domrh_extractrh_is_elem+7
93func find_tag(tree: *LayoutTree, boxel: *CssElement, buf: *u8, tag: *u8, nth: i64) -> i64
called by 1: main
110func box_at(tree: *LayoutTree, i: i64) -> *LayoutBox { return ((tree.boxes as i64)+i*NX_LAYOUT_BOX_BYTES) as *LayoutBox }
called by 1: main
111func chk(cond: i64, label: *u8, pass: *i64) -> i64
called by 1: main calls 1: g_w
117func main() -> i64
calls 8: sys_mmapg_wrun_layoutfind_tagpnchk+2