| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980 | "use strict";Object.defineProperty(exports, "__esModule", { value: true });exports.WebSocketProvider = void 0;const ws_js_1 = require("./ws.js"); /*-browser*/const provider_socket_js_1 = require("./provider-socket.js");/** *  A JSON-RPC provider which is backed by a WebSocket. * *  WebSockets are often preferred because they retain a live connection *  to a server, which permits more instant access to events. * *  However, this incurs higher server infrasturture costs, so additional *  resources may be required to host your own WebSocket nodes and many *  third-party services charge additional fees for WebSocket endpoints. */class WebSocketProvider extends provider_socket_js_1.SocketProvider {    #connect;    #websocket;    get websocket() {        if (this.#websocket == null) {            throw new Error("websocket closed");        }        return this.#websocket;    }    constructor(url, network, options) {        super(network, options);        if (typeof (url) === "string") {            this.#connect = () => { return new ws_js_1.WebSocket(url); };            this.#websocket = this.#connect();        }        else if (typeof (url) === "function") {            this.#connect = url;            this.#websocket = url();        }        else {            this.#connect = null;            this.#websocket = url;        }        this.websocket.onopen = async () => {            try {                await this._start();                this.resume();            }            catch (error) {                console.log("failed to start WebsocketProvider", error);                // @TODO: now what? Attempt reconnect?            }        };        this.websocket.onmessage = (message) => {            this._processMessage(message.data);        };        /*                this.websocket.onclose = (event) => {                    // @TODO: What event.code should we reconnect on?                    const reconnect = false;                    if (reconnect) {                        this.pause(true);                        if (this.#connect) {                            this.#websocket = this.#connect();                            this.#websocket.onopen = ...                            // @TODO: this requires the super class to rebroadcast; move it there                        }                        this._reconnect();                    }                };        */    }    async _write(message) {        this.websocket.send(message);    }    async destroy() {        if (this.#websocket != null) {            this.#websocket.close();            this.#websocket = null;        }        super.destroy();    }}exports.WebSocketProvider = WebSocketProvider;//# sourceMappingURL=provider-websocket.js.map
 |