code wiki / (root) / nx_http_response_parse_test.nx

nx_http_response_parse_test.nx

buildroot/runtime/nx_http_response_parse_test.nx

9737 B270 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic http

docs dependencies structs consts functions

about

nx_http_response_parse_test.nx -- KATs for HTTP/1.1 client-side response parser. Covers: K1 minimal 200 OK with Content-Length + body -> verdict OK, code=200, body_len=5, body bytes = "hello" K2 404 Not Found with Content-Length=0 -> verdict OK, code=404, body_len=0 K3 chunked-encoded body (two chunks) -> dechunk yields concatenated bytes K4 case-insensitive header lookup -> finds "Content- Type" via lowercase query K5 malformed status line (bad version) -> verdict ERR_ BAD_VERSION K6 Transfer-Encoding: chunked classification -> transfer_kind == NX_HTTP_BODY_CHUNKED Built per F7 post-order DFS. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_http_response_parse.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

none

functions

27	func t_write_str(out: u8, off: i64, s: u8, n: i64) -> i64 called by 6: t_make_200_hello t_make_404_empty t_make_chunked t_make_chunked_body t_make_200_with_ct t_make_bad_version
33	func t_make_200_hello(out: *u8) -> i64 called by 1: k1_minimal_200_hello calls 2: sys_mmap t_write_str
58	func t_make_404_empty(out: *u8) -> i64 called by 1: k2_404_empty calls 2: sys_mmap t_write_str
82	func t_make_chunked(out: *u8) -> i64 called by 1: k6_chunked_classification calls 2: sys_mmap t_write_str
106	func t_make_chunked_body(out: *u8) -> i64 called by 1: k3_chunked_decode calls 2: sys_mmap t_write_str
127	func t_make_200_with_ct(out: *u8) -> i64 called by 1: k4_header_lookup_ci calls 2: sys_mmap t_write_str
161	func t_make_bad_version(out: *u8) -> i64 called by 1: k5_bad_version_rejected calls 2: sys_mmap t_write_str
177	func k1_minimal_200_hello() -> i64 called by 1: main calls 4: sys_mmap t_make_200_hello nx_http_resp_alloc nx_http_response_parse
191	func k2_404_empty() -> i64 called by 1: main calls 4: sys_mmap t_make_404_empty nx_http_resp_alloc nx_http_response_parse
203	func k3_chunked_decode() -> i64 called by 1: main calls 3: sys_mmap t_make_chunked_body nx_http_dechunk
217	func k4_header_lookup_ci() -> i64 called by 1: main calls 5: sys_mmap t_make_200_with_ct nx_http_resp_alloc nx_http_response_parse nx_http_response_header
237	func k5_bad_version_rejected() -> i64 called by 1: main calls 4: sys_mmap t_make_bad_version nx_http_resp_alloc nx_http_response_parse
246	func k6_chunked_classification() -> i64 called by 1: main calls 4: sys_mmap t_make_chunked nx_http_resp_alloc nx_http_response_parse
256	func main() -> i64 calls 6: k1_minimal_200_hello k2_404_empty k3_chunked_decode k4_header_lookup_ci k5_bad_version_rejected k6_chunked_classification