code wiki / (root) / nx_websocket_stream_test.nx

nx_websocket_stream_test.nx

buildroot/runtime/nx_websocket_stream_test.nx

6562 B169 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic websocket
docsdependenciesstructsconstsfunctions

about

nx_websocket_stream_test.nx -- KAT for the streaming WebSocket framer. Uses sys_pipe2 to create a loopback fd pair (write end = "client", read end = our nx_ws_read_frame_from_fd reader). Drives canonical RFC 6455 frame bytes through and asserts the parsed result. Tests: T1: short unmasked text frame (server -> client direction simulated) T2: client-masked "Hello" frame (RFC 6455 ยง5.7 wire vector) gets unmasked in place during read T3: extended 16-bit length (1000 bytes payload) T4: send-to-fd round-trip: nx_ws_send_text -> read back through a fresh pipe -> parse and verify T5: nx_ws_send_close round-trip expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_websocket_frame.nx nx_websocket_stream.nx nx_websocket_stream_test.nx

imports: nx_syscalls.nxnx_websocket_frame.nxnx_websocket_stream.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap sys_pipe2 sys_write sys_close nx_ws_read_frame_from_fd _wss_read_n sys_read ws_parse_frame ws_apply_mask nx_ws_send_text nx_ws_send_frame_to_fd sys_mmap ↻ ws_build_header _wss_write_n sys_write ↻ nx_ws_send_close nx_ws_send_frame_to_fd ↻ sys_mmap ↻

structs

none

consts

none

functions

23func main() -> i64