code wiki / _hdl_build / nx_signaling_v2_gate.nx

nx_signaling_v2_gate.nx

buildroot/runtime/_hdl_build/nx_signaling_v2_gate.nx

35023 B634 linesdepth 6pulls 18 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

dependencies 9 imports · 0 importers

nx_gate_base.nx nx_connect.nx nx_syscalls.nx nx_gate_emit_lib.nx nx_room_key.nx nx_dgram_media.nx nx_websocket_client_upgrade.nx nx_websocket_stream.nx nx_websocket_frame.nx nx_signaling_v2_gate.nx

imports: nx_gate_base.nxnx_connect.nxnx_syscalls.nxnx_gate_emit_lib.nxnx_room_key.nxnx_dgram_media.nxnx_websocket_client_upgrade.nxnx_websocket_stream.nxnx_websocket_frame.nx

imported by: nobody (leaf or entry point)

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

main g_puts sys_write sys_openat_rd sys_close g_wr sys_openat_wr sys_write ↻ sys_close ↻ sys_fork sys_mmap sys_execve sys_exit sys_sleep_ms sys_mmap ↻ sys_munmap g_join sys_socket sys_mmap ↻ g_loopback_addr nx_connect_bounded nx_fcntl sys_connect sys_mmap ↻ sys_poll sys_close ↻ nx_ws_client_upgrade sys_mmap ↻ nx_ws_client_build_request sys_mmap ↻ rand_bytes rand_open_urandom sys_openat_rd ↻ sys_read sys_close ↻ b64_encode b64_enc_char _wscu_itoa sys_mmap ↻ _wscu_write_n

structs

none

consts

none

functions

24func grow(name: *u8, ok: i64) -> i64 { if ok==1 { gw(" PASS " as *u8) } else { gw(" FAIL " as *u8) } gw(name); gw("
calls 1: gw
26func g_loopback_addr(addr: *u8, port: i64) -> i64
36func g_join(req_buf: *u8, resp_buf: *u8) -> i64
56func g_read_payload(fd: i64, buf: *u8, cap: i64, out: *u8, outcap: i64) -> i64
67func g_eq(a: *u8, b: *u8, n: i64) -> i64
72func g_wr(path: *u8, data: *u8, n: i64) -> i64
79func g_mkkeypath(buf: *u8, tok: *u8) -> i64
89func g_join_room(path: *u8, plen: i64, req_buf: *u8, resp_buf: *u8) -> i64
99func g_tmo(fd: i64, sec: i64) -> i64
103func g_mkreg(b: *u8, id: *u8) -> i64
111func g_mk57(b: *u8, id: *u8, seq: i64, flags: i64) -> i64
126func g_rdseq(b: *u8) -> i64
129func main() -> i64