code wiki / _hdl_build / nx_justify_gate.nx

nx_justify_gate.nx

buildroot/runtime/_hdl_build/nx_justify_gate.nx

8525 B151 linesdepth 8pulls 28 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_justify_gate.nx -- VERDICT gate for flexbox justify-content (main-axis distribution). 3 items x 100px in an 800px flex container => 500px FREE to distribute. Asserts exact item x positions for center / flex-end / space-between vs the flex-start CONTROL (proves justify actually moves items, not a no-op). LIAR-KILL: a wrong expectation is rejected. 100% sovereign nx_cc->nxasm. 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_justify_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

20func 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: chkxmain calls 1: sys_write
21func 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 2: chkxmain calls 2: sys_mmapsys_write
23func 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
83func find_tag(tree: *LayoutTree, boxel: *CssElement, buf: *u8, tag: *u8, nth: i64) -> i64
called by 2: chkxmain
99func box_x(tree: *LayoutTree, i: i64) -> i64 { let b: *LayoutBox = ((tree.boxes as i64)+i*NX_LAYOUT_BOX_BYTES) as *LayoutBox; return b.x }
called by 2: chkxmain
100func chkx(tree: *LayoutTree, boxel: *CssElement, buf: *u8, item: i64, want: i64, label: *u8, pass: *i64) -> i64
called by 1: main calls 4: find_tagbox_xg_wpn
109func main() -> i64
calls 8: sys_mmapg_wrun_layoutchkxfind_tagbox_x+2