| 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
 
 
  |