code wiki / _hdl_build / nx_cap_exists_gate.nx

nx_cap_exists_gate.nx

buildroot/runtime/_hdl_build/nx_cap_exists_gate.nx

13882 B201 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic cap
docsdependenciesstructsconstsfunctions

dependencies 3 imports · 0 importers

nx_gate_gn.nx nx_gate_base.nx nx_syscalls.nx nx_cap_exists_gate.nx

imports: nx_gate_gn.nxnx_gate_base.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main gw sys_write sys_mmap ce_scan sys_openat_rd sys_mmap ↻ sys_getdents64 dirent_reclen dirent_name ce_append lc is_nc sys_close gn ce_query sys_mmap ↻ ce_tok is_stop wstreq lc ↻ ce_score seg_has lc ↻ gws sys_write ↻ cap_guard sys_mmap ↻ ce_query ↻ sys_exit

structs

none

consts

none

functions

18func grow(name: *u8, ok: i64) -> i64 { if ok==1 { gw(" PASS " as *u8) } else { gw(" FAIL " as *u8) } gw(name); gw("
calls 1: gw
20func gws(buf: *u8, off: i64, len: i64) -> i64 { sys_write(1, (buf as i64 + off) as *u8, len); return 0 }
called by 1: ce_append
21func is_nc(c: i64) -> i64 { if c>=97 { if c<=122 {return 1} } if c>=65 { if c<=90 {return 1} } if c>=48 { if c<=57 {return 1} } if c==95 {return 1} return 0 }
23func lc(c: i64) -> i64 { if c>=65 { if c<=90 { return c+32 } } return c }
26func ce_append(src: *u8, slen: i64, name: *u8, surf: *u8, soffp: *i64) -> i64
46func ce_scan(dir: *u8, surf: *u8, soffp: *i64, foff: *i64, fnames: *u8, fnoff: *i64, nfp: *i64, maxf: i64, rbuf: *u8, rcap: i64, pbuf: *u8) -> i64
85func seg_has(surf: *u8, a: i64, b: i64, q: *u8, ql: i64) -> i64
91func ce_score(surf: *u8, foff: *i64, i: i64, qwords: *u8, qoff: *i64, nq: i64, fnames: *u8, fnoff: *i64) -> i64
105func wstreq(qw: *u8, a: i64, l: i64, lit: *u8) -> i64 { var i: i64=0; while i<l { if lit[i]==(0 as u8) {return 0} if qw[a+i]!=lit[i] {return 0} i=i+1 } if lit[l]!=(0 as u8) {return 0} return 1 }
107func is_stop(qw: *u8, a: i64, l: i64) -> i64
116func ce_tok(query: *u8, qwords: *u8, qoff: *i64) -> i64
130func ce_query(query: *u8, surf: *u8, foff: *i64, nf: i64, fnames: *u8, fnoff: *i64, scorep: *i64) -> i64
143func cap_guard(query: *u8, surf: *u8, foff: *i64, nf: i64, fnames: *u8, fnoff: *i64, out_best: *i64) -> i64
151func main() -> i64