Basic C# implementation of a WebSocket server for use with svelte-websocket-stores
Basic Initialization
using SvelteWebSocketServer;
var wss = new WebSocketServer();
var wsw = wss.webSocketWrapper; // Main entry-point
wss.Start(); // Non-blocking
Initialization using the WebSocketWrapperListener for easy event handling
using SvelteWebSocketServer;
var wss = new WebSocketServer();
var wsw = wss.webSocketWrapper; // Main entry-point
var wswListener = new WebSocketWrapperListener(wsw);
wss.Start(); // Non-blocking
Basic event handling
wsw.OnNumberSet += (scope, id, value) => ...
Event handling using WebSocketWrapperListener
wswListener.AddBooleanHandler("tp1", "some.state", (scope, id, value) => ... );
wswListener.AddBooleanRegexHandler("tp1", new Regex("some\\.(.+?)\\.state"), (scope, match, value) => ... );
All communication between a client and this library is over WebSocket.
All WebSocket messages are interpreted as JSON objects.
The message object is defined as:
type Message = {
scope: string,
id: string,
type: "boolean" | "number" | "string" | "object",
value: boolean | number | string | object,
}
The field scope
identifies the scope of the client it comes from and limits which clients receive it when coming from the server.
The field type
determines how the value
field is interpreted as well as which of the tables (booleans, numbers, strings, or objects) the scope
and id
fields will be indexing into.
type
field is switched on with the cases "boolean"
, "number"
, "string"
, and "object"
. If there is no match, the message is discarded.scope
and id
fields from the dictionary holding the respectively typed variables.value
field, cast to its respective type.scope
field is checked if it is global ("global") or matches the client's local scope (for example "tp1"). If it does not match, the message is discarded.type
field is switched on with the cases "boolean"
, "number"
, "string"
, and "object"
. If there is no match, the message is discarded.id
field from the dictionary holding the respectively typed stores.value
field, cast to its respective type.[^1]: This is the behavior expected by this WebSocket server