| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576 | 
							- import { WebSocket as _WebSocket } from "./ws.js"; /*-browser*/
 
- import { SocketProvider } from "./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.
 
-  */
 
- export class WebSocketProvider extends 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 _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();
 
-     }
 
- }
 
- //# sourceMappingURL=provider-websocket.js.map
 
 
  |