code wiki / _hdl_build / nx_host_range_gate.nx

nx_host_range_gate.nx

buildroot/runtime/_hdl_build/nx_host_range_gate.nx

5521 B65 linesdepth 7pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic host

docs dependencies structs consts functions

dependencies 2 imports · 0 importers

imports: nx_host_router.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

structs

none

consts

const HRG_CASES: *u8="range-response-status-and-length\nrange-body-exact-and-reader-closed\nrange-reader-transferred-once\nrange-security-headers-retained\nunsatisfiable-416-and-total\nunsatisfiable-response-not-cacheable\nordinary-get-retains-body\nmultiple-ranges-retain-full-response\nif-range-retains-full-response\nhtml-transformation-path-retained\nexact-header-capacity\nundersized-header-retains-output\n"

functions

5	func hrg_has(b: u8,n: i64,s: u8) -> i64 called by 1: main calls 2: hr_slen hr_eq
8	func hrg_check(name: u8,ok: i64,c: i64) -> i64 { return gv_plan_check(hrg_plan,name,ok,c) } called by 1: main calls 1: gv_plan_check
9	func hrg_write(p: u8,b: u8) -> i64 called by 1: main calls 1: hr_slen
14	func hrg_serve(req: u8,b: u8,cap: i64,n: *i64) -> i64 called by 1: main calls 2: hr_serve3_slot hr_slen
19	func main(argc: i64,argv: *i64) -> i64 calls 13: hrg_write gv_ctr gv_plan_new hr_slen hr_emit_range_head hrg_serve+7

5	func hrg_has(b: u8,n: i64,s: u8) -> i64 called by 1: main calls 2: hr_slen hr_eq
8	func hrg_check(name: u8,ok: i64,c: i64) -> i64 { return gv_plan_check(hrg_plan,name,ok,c) } called by 1: main calls 1: gv_plan_check
9	func hrg_write(p: u8,b: u8) -> i64 called by 1: main calls 1: hr_slen
14	func hrg_serve(req: u8,b: u8,cap: i64,n: *i64) -> i64 called by 1: main calls 2: hr_serve3_slot hr_slen
19	func main(argc: i64,argv: *i64) -> i64 calls 13: hrg_write gv_ctr gv_plan_new hr_slen hr_emit_range_head hrg_serve+7