code wiki / _hdl_build / nx_assemseq_gate.nx

nx_assemseq_gate.nx

buildroot/runtime/_hdl_build/nx_assemseq_gate.nx

6003 B137 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_assemseq_gate.nx -- benchmark assembly/disassembly sequencing on the REAL as1 STEP tree (cadtwin P4b). Parse as1 -> NAUO edges -> depths -> disassembly order; VERIFY every edge has child removed BEFORE its parent (a part comes out only after its children), the root (as1) is removed LAST, and leaves (fasteners) FIRST. Prints the teardown sequence for eyeball. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_assemseq.nx nx_assemseq_gate.nx

imports: nx_assemseq.nx

imported by: nobody (leaf or entry point)

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

main sp_read_file sys_openat_rd sys_read sys_close sp_scan sp_skip_string sp_skip_comment sp_statement sp_isspace sp_isnamec sp_args_span sp_skip_string ↻ sp_nauo_collect sp_name_is sp_arg_span sp_skip_string ↻ sp_span_ref sp_isspace ↻ asq_collect_pds asq_root asq_depths asq_order ag_name sp_pd_product sp_find sp_name_is ↻ sp_first_ref sp_skip_string ↻ sp_name_prefix sp_arg_span ↻ sp_isspace ↻ ag_tooth sp_prod_name_is sp_name_is ↻ sp_arg_span ↻ sp_isspace ↻ sp_pd_product ↻

structs

none

consts

none

functions

7func ag_tooth(name: *u8, pass: i64, fails: *i64) -> i64
called by 1: main
14func ag_name(st: *i64, pdid: i64, out2: *i64) -> i64
called by 1: main calls 3: sp_pd_productsp_arg_spansp_isspace
34func main() -> i64
calls 11: sp_read_filesp_scansp_nauo_collectasq_collect_pdsasq_rootasq_depths+5