code wiki / (root) / nx_range_header_gate.nx

nx_range_header_gate.nx

buildroot/runtime/nx_range_header_gate.nx

4153 B59 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic range
docsdependenciesstructsconstsfunctions

dependencies 2 imports · 0 importers

nx_range_header.nx nx_gate_verdict.nx nx_range_header_gate.nx

imports: nx_range_header.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_plan_new sys_mmap ↻ gv_plan_name_eq rgt_case range_parse sys_mmap ↻ rh_parse_pass rh_ows rh_bounded rh_nonzero rh_is_digit rh_decimal_cmp sys_munmap rgt_len gv_plan_check gv_plan_take gv_plan_name_eq ↻ gv_check gv_puts sys_write ↻ range_parse ↻ rgt_len ↻ gv_plan_check ↻

structs

none

consts

4const RGT_CASES: *u8="beach-signature-range\nexplicit-range\nopen-range\nsuffix-range\noversized-end-clamped\noversized-suffix-clamped\noversized-start-unsatisfiable\nhuge-reversed-range-invalid\nreversed-range-invalid\nmissing-comma-invalid\ntrailing-junk-invalid\nempty-list-invalid\nwhitespace-and-empty-members\ncase-insensitive-unit\nzero-suffix-unsatisfiable\nempty-resource-explicit\nempty-resource-positive-suffix\nunsupported-unit\nnegative-resource-invalid\ncapacity-refuses-without-writing\nskip-unsatisfiable-member\nmultiple-ranges-correct-layout\nlegacy-decimal-overflow-refused\nall-signature-prefixes-safe\n"

functions

5func rgt_case(name: *u8,s: *u8,total: i64,expected: i64,start: i64,end: i64,count: *i64) -> i64
18func rgt_len(s: *u8) -> i64 { var i: i64=0;while s[i]!=(0 as u8) { i=i+1 };return i }
called by 2: rgt_casemain
19func main() -> i64