headerEnd
Function parameters
Parameters
- header:*const SeenPcsHeader
All WebSocket messages sent by the server to the client begin with a `ToClientTag` byte.
Types
- ToClientTag
- All WebSocket messages sent by the server to the client begin with a `ToClientTag` byte.
- ToServerTag
- Like `ToClientTag`, but for messages sent by the client to the server.
- BuildStatus
- The current overall status of the build runner.
- Hello
- WebSocket server->client.
- StatusUpdate
- WebSocket server->client.
- StepUpdate
- WebSocket server->client.
- fuzz
- ABI bits specifically relating to the fuzzer interface.
- time_report
- ABI bits specifically relating to the time report interface.
Source
Implementation
pub fn headerEnd(header: *const SeenPcsHeader) []const usize {
const ptr: [*]align(@alignOf(usize)) const u8 = @ptrCast(header);
const header_end_ptr: [*]const usize = @ptrCast(ptr + @sizeOf(SeenPcsHeader));
const pcs_len = header.pcs_len;
return header_end_ptr[0 .. pcs_len + seenElemsLen(pcs_len)];
}