@1agh/maude 0.21.0 → 0.22.0

package/plugins/design/dev-server/dist/runtime/y-protocols_awareness.js

@@ -23,230 +23,17 @@ __export(exports_awareness, {
   applyAwarenessUpdate: () => applyAwarenessUpdate,
   Awareness: () => Awareness
 });
+import * as encoding from "lib0/encoding";
+import * as decoding from "lib0/decoding";
 
 // ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/math.js
 var floor = Math.floor;
-var min = (a, b) => a < b ? a : b;
-var max = (a, b) => a > b ? a : b;
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/binary.js
-var BIT8 = 128;
-var BIT18 = 1 << 17;
-var BIT19 = 1 << 18;
-var BIT20 = 1 << 19;
-var BIT21 = 1 << 20;
-var BIT22 = 1 << 21;
-var BIT23 = 1 << 22;
-var BIT24 = 1 << 23;
-var BIT25 = 1 << 24;
-var BIT26 = 1 << 25;
-var BIT27 = 1 << 26;
-var BIT28 = 1 << 27;
-var BIT29 = 1 << 28;
-var BIT30 = 1 << 29;
-var BIT31 = 1 << 30;
-var BIT32 = 1 << 31;
-var BITS7 = 127;
-var BITS17 = BIT18 - 1;
-var BITS18 = BIT19 - 1;
-var BITS19 = BIT20 - 1;
-var BITS20 = BIT21 - 1;
-var BITS21 = BIT22 - 1;
-var BITS22 = BIT23 - 1;
-var BITS23 = BIT24 - 1;
-var BITS24 = BIT25 - 1;
-var BITS25 = BIT26 - 1;
-var BITS26 = BIT27 - 1;
-var BITS27 = BIT28 - 1;
-var BITS28 = BIT29 - 1;
-var BITS29 = BIT30 - 1;
-var BITS30 = BIT31 - 1;
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/number.js
-var MAX_SAFE_INTEGER = Number.MAX_SAFE_INTEGER;
-var MIN_SAFE_INTEGER = Number.MIN_SAFE_INTEGER;
-var LOWEST_INT32 = 1 << 31;
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/set.js
-var create = () => new Set;
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/array.js
-var from2 = Array.from;
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/string.js
-var fromCharCode = String.fromCharCode;
-var fromCodePoint = String.fromCodePoint;
-var MAX_UTF16_CHARACTER = fromCharCode(65535);
-var _encodeUtf8Polyfill = (str) => {
-  const encodedString = unescape(encodeURIComponent(str));
-  const len = encodedString.length;
-  const buf = new Uint8Array(len);
-  for (let i = 0;i < len; i++) {
-    buf[i] = encodedString.codePointAt(i);
-  }
-  return buf;
-};
-var utf8TextEncoder = typeof TextEncoder !== "undefined" ? new TextEncoder : null;
-var _encodeUtf8Native = (str) => utf8TextEncoder.encode(str);
-var encodeUtf8 = utf8TextEncoder ? _encodeUtf8Native : _encodeUtf8Polyfill;
-var utf8TextDecoder = typeof TextDecoder === "undefined" ? null : new TextDecoder("utf-8", { fatal: true, ignoreBOM: true });
-if (utf8TextDecoder && utf8TextDecoder.decode(new Uint8Array).length === 1) {
-  utf8TextDecoder = null;
-}
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/encoding.js
-class Encoder {
-  constructor() {
-    this.cpos = 0;
-    this.cbuf = new Uint8Array(100);
-    this.bufs = [];
-  }
-}
-var createEncoder = () => new Encoder;
-var length = (encoder) => {
-  let len = encoder.cpos;
-  for (let i = 0;i < encoder.bufs.length; i++) {
-    len += encoder.bufs[i].length;
-  }
-  return len;
-};
-var toUint8Array = (encoder) => {
-  const uint8arr = new Uint8Array(length(encoder));
-  let curPos = 0;
-  for (let i = 0;i < encoder.bufs.length; i++) {
-    const d = encoder.bufs[i];
-    uint8arr.set(d, curPos);
-    curPos += d.length;
-  }
-  uint8arr.set(new Uint8Array(encoder.cbuf.buffer, 0, encoder.cpos), curPos);
-  return uint8arr;
-};
-var write = (encoder, num) => {
-  const bufferLen = encoder.cbuf.length;
-  if (encoder.cpos === bufferLen) {
-    encoder.bufs.push(encoder.cbuf);
-    encoder.cbuf = new Uint8Array(bufferLen * 2);
-    encoder.cpos = 0;
-  }
-  encoder.cbuf[encoder.cpos++] = num;
-};
-var writeVarUint = (encoder, num) => {
-  while (num > BITS7) {
-    write(encoder, BIT8 | BITS7 & num);
-    num = floor(num / 128);
-  }
-  write(encoder, BITS7 & num);
-};
-var _strBuffer = new Uint8Array(30000);
-var _maxStrBSize = _strBuffer.length / 3;
-var _writeVarStringNative = (encoder, str) => {
-  if (str.length < _maxStrBSize) {
-    const written = utf8TextEncoder.encodeInto(str, _strBuffer).written || 0;
-    writeVarUint(encoder, written);
-    for (let i = 0;i < written; i++) {
-      write(encoder, _strBuffer[i]);
-    }
-  } else {
-    writeVarUint8Array(encoder, encodeUtf8(str));
-  }
-};
-var _writeVarStringPolyfill = (encoder, str) => {
-  const encodedString = unescape(encodeURIComponent(str));
-  const len = encodedString.length;
-  writeVarUint(encoder, len);
-  for (let i = 0;i < len; i++) {
-    write(encoder, encodedString.codePointAt(i));
-  }
-};
-var writeVarString = utf8TextEncoder && utf8TextEncoder.encodeInto ? _writeVarStringNative : _writeVarStringPolyfill;
-var writeUint8Array = (encoder, uint8Array) => {
-  const bufferLen = encoder.cbuf.length;
-  const cpos = encoder.cpos;
-  const leftCopyLen = min(bufferLen - cpos, uint8Array.length);
-  const rightCopyLen = uint8Array.length - leftCopyLen;
-  encoder.cbuf.set(uint8Array.subarray(0, leftCopyLen), cpos);
-  encoder.cpos += leftCopyLen;
-  if (rightCopyLen > 0) {
-    encoder.bufs.push(encoder.cbuf);
-    encoder.cbuf = new Uint8Array(max(bufferLen * 2, rightCopyLen));
-    encoder.cbuf.set(uint8Array.subarray(leftCopyLen));
-    encoder.cpos = rightCopyLen;
-  }
-};
-var writeVarUint8Array = (encoder, uint8Array) => {
-  writeVarUint(encoder, uint8Array.byteLength);
-  writeUint8Array(encoder, uint8Array);
-};
-var floatTestBed = new DataView(new ArrayBuffer(4));
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/error.js
-var create2 = (s) => new Error(s);
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/decoding.js
-var errorUnexpectedEndOfArray = create2("Unexpected end of array");
-var errorIntegerOutOfRange = create2("Integer out of Range");
-
-class Decoder {
-  constructor(uint8Array) {
-    this.arr = uint8Array;
-    this.pos = 0;
-  }
-}
-var createDecoder = (uint8Array) => new Decoder(uint8Array);
-var readUint8Array = (decoder, len) => {
-  const view = new Uint8Array(decoder.arr.buffer, decoder.pos + decoder.arr.byteOffset, len);
-  decoder.pos += len;
-  return view;
-};
-var readVarUint8Array = (decoder) => readUint8Array(decoder, readVarUint(decoder));
-var readUint8 = (decoder) => decoder.arr[decoder.pos++];
-var readVarUint = (decoder) => {
-  let num = 0;
-  let mult = 1;
-  const len = decoder.arr.length;
-  while (decoder.pos < len) {
-    const r = decoder.arr[decoder.pos++];
-    num = num + (r & BITS7) * mult;
-    mult *= 128;
-    if (r < BIT8) {
-      return num;
-    }
-    if (num > MAX_SAFE_INTEGER) {
-      throw errorIntegerOutOfRange;
-    }
-  }
-  throw errorUnexpectedEndOfArray;
-};
-var _readVarStringPolyfill = (decoder) => {
-  let remainingLen = readVarUint(decoder);
-  if (remainingLen === 0) {
-    return "";
-  } else {
-    let encodedString = String.fromCodePoint(readUint8(decoder));
-    if (--remainingLen < 100) {
-      while (remainingLen--) {
-        encodedString += String.fromCodePoint(readUint8(decoder));
-      }
-    } else {
-      while (remainingLen > 0) {
-        const nextLen = remainingLen < 1e4 ? remainingLen : 1e4;
-        const bytes = decoder.arr.subarray(decoder.pos, decoder.pos + nextLen);
-        decoder.pos += nextLen;
-        encodedString += String.fromCodePoint.apply(null, bytes);
-        remainingLen -= nextLen;
-      }
-    }
-    return decodeURIComponent(escape(encodedString));
-  }
-};
-var _readVarStringNative = (decoder) => utf8TextDecoder.decode(readVarUint8Array(decoder));
-var readVarString = utf8TextDecoder ? _readVarStringNative : _readVarStringPolyfill;
 
 // ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/time.js
 var getUnixTime = Date.now;
 
 // ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/map.js
-var create3 = () => new Map;
+var create = () => new Map;
 var setIfUndefined = (map, key, createT) => {
   let set = map.get(key);
   if (set === undefined) {
@@ -255,13 +42,19 @@ var setIfUndefined = (map, key, createT) => {
   return set;
 };
 
+// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/set.js
+var create2 = () => new Set;
+
+// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/array.js
+var from2 = Array.from;
+
 // ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/observable.js
 class Observable {
   constructor() {
-    this._observers = create3();
+    this._observers = create();
   }
   on(name, f) {
-    setIfUndefined(this._observers, name, create).add(f);
+    setIfUndefined(this._observers, name, create2).add(f);
   }
   once(name, f) {
     const _f = (...args) => {
@@ -280,10 +73,10 @@ class Observable {
     }
   }
   emit(name, args) {
-    return from2((this._observers.get(name) || create3()).values()).forEach((f) => f(...args));
+    return from2((this._observers.get(name) || create()).values()).forEach((f) => f(...args));
   }
   destroy() {
-    this._observers = create3();
+    this._observers = create();
   }
 }
 
@@ -481,46 +274,46 @@ var removeAwarenessStates = (awareness, clients, origin) => {
 };
 var encodeAwarenessUpdate = (awareness, clients, states = awareness.states) => {
   const len = clients.length;
-  const encoder = createEncoder();
-  writeVarUint(encoder, len);
+  const encoder = encoding.createEncoder();
+  encoding.writeVarUint(encoder, len);
   for (let i = 0;i < len; i++) {
     const clientID = clients[i];
     const state = states.get(clientID) || null;
     const clock = awareness.meta.get(clientID).clock;
-    writeVarUint(encoder, clientID);
-    writeVarUint(encoder, clock);
-    writeVarString(encoder, JSON.stringify(state));
+    encoding.writeVarUint(encoder, clientID);
+    encoding.writeVarUint(encoder, clock);
+    encoding.writeVarString(encoder, JSON.stringify(state));
   }
-  return toUint8Array(encoder);
+  return encoding.toUint8Array(encoder);
 };
 var modifyAwarenessUpdate = (update, modify) => {
-  const decoder = createDecoder(update);
-  const encoder = createEncoder();
-  const len = readVarUint(decoder);
-  writeVarUint(encoder, len);
+  const decoder = decoding.createDecoder(update);
+  const encoder = encoding.createEncoder();
+  const len = decoding.readVarUint(decoder);
+  encoding.writeVarUint(encoder, len);
   for (let i = 0;i < len; i++) {
-    const clientID = readVarUint(decoder);
-    const clock = readVarUint(decoder);
-    const state = JSON.parse(readVarString(decoder));
+    const clientID = decoding.readVarUint(decoder);
+    const clock = decoding.readVarUint(decoder);
+    const state = JSON.parse(decoding.readVarString(decoder));
     const modifiedState = modify(state);
-    writeVarUint(encoder, clientID);
-    writeVarUint(encoder, clock);
-    writeVarString(encoder, JSON.stringify(modifiedState));
+    encoding.writeVarUint(encoder, clientID);
+    encoding.writeVarUint(encoder, clock);
+    encoding.writeVarString(encoder, JSON.stringify(modifiedState));
   }
-  return toUint8Array(encoder);
+  return encoding.toUint8Array(encoder);
 };
 var applyAwarenessUpdate = (awareness, update, origin) => {
-  const decoder = createDecoder(update);
+  const decoder = decoding.createDecoder(update);
   const timestamp = getUnixTime();
   const added = [];
   const updated = [];
   const filteredUpdated = [];
   const removed = [];
-  const len = readVarUint(decoder);
+  const len = decoding.readVarUint(decoder);
   for (let i = 0;i < len; i++) {
-    const clientID = readVarUint(decoder);
-    let clock = readVarUint(decoder);
-    const state = JSON.parse(readVarString(decoder));
+    const clientID = decoding.readVarUint(decoder);
+    let clock = decoding.readVarUint(decoder);
+    const state = JSON.parse(decoding.readVarString(decoder));
     const clientMeta = awareness.meta.get(clientID);
     const prevState = awareness.states.get(clientID);
     const currClock = clientMeta === undefined ? 0 : clientMeta.clock;

package/plugins/design/dev-server/dist/runtime/y-protocols_sync.js

@@ -27,178 +27,25 @@ __export(exports_sync, {
   messageYjsSyncStep2: () => messageYjsSyncStep2,
   messageYjsSyncStep1: () => messageYjsSyncStep1
 });
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/math.js
-var floor = Math.floor;
-var min = (a, b) => a < b ? a : b;
-var max = (a, b) => a > b ? a : b;
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/binary.js
-var BIT8 = 128;
-var BIT18 = 1 << 17;
-var BIT19 = 1 << 18;
-var BIT20 = 1 << 19;
-var BIT21 = 1 << 20;
-var BIT22 = 1 << 21;
-var BIT23 = 1 << 22;
-var BIT24 = 1 << 23;
-var BIT25 = 1 << 24;
-var BIT26 = 1 << 25;
-var BIT27 = 1 << 26;
-var BIT28 = 1 << 27;
-var BIT29 = 1 << 28;
-var BIT30 = 1 << 29;
-var BIT31 = 1 << 30;
-var BIT32 = 1 << 31;
-var BITS7 = 127;
-var BITS17 = BIT18 - 1;
-var BITS18 = BIT19 - 1;
-var BITS19 = BIT20 - 1;
-var BITS20 = BIT21 - 1;
-var BITS21 = BIT22 - 1;
-var BITS22 = BIT23 - 1;
-var BITS23 = BIT24 - 1;
-var BITS24 = BIT25 - 1;
-var BITS25 = BIT26 - 1;
-var BITS26 = BIT27 - 1;
-var BITS27 = BIT28 - 1;
-var BITS28 = BIT29 - 1;
-var BITS29 = BIT30 - 1;
-var BITS30 = BIT31 - 1;
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/number.js
-var MAX_SAFE_INTEGER = Number.MAX_SAFE_INTEGER;
-var MIN_SAFE_INTEGER = Number.MIN_SAFE_INTEGER;
-var LOWEST_INT32 = 1 << 31;
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/string.js
-var fromCharCode = String.fromCharCode;
-var fromCodePoint = String.fromCodePoint;
-var MAX_UTF16_CHARACTER = fromCharCode(65535);
-var _encodeUtf8Polyfill = (str) => {
-  const encodedString = unescape(encodeURIComponent(str));
-  const len = encodedString.length;
-  const buf = new Uint8Array(len);
-  for (let i = 0;i < len; i++) {
-    buf[i] = encodedString.codePointAt(i);
-  }
-  return buf;
-};
-var utf8TextEncoder = typeof TextEncoder !== "undefined" ? new TextEncoder : null;
-var _encodeUtf8Native = (str) => utf8TextEncoder.encode(str);
-var encodeUtf8 = utf8TextEncoder ? _encodeUtf8Native : _encodeUtf8Polyfill;
-var utf8TextDecoder = typeof TextDecoder === "undefined" ? null : new TextDecoder("utf-8", { fatal: true, ignoreBOM: true });
-if (utf8TextDecoder && utf8TextDecoder.decode(new Uint8Array).length === 1) {
-  utf8TextDecoder = null;
-}
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/encoding.js
-var write = (encoder, num) => {
-  const bufferLen = encoder.cbuf.length;
-  if (encoder.cpos === bufferLen) {
-    encoder.bufs.push(encoder.cbuf);
-    encoder.cbuf = new Uint8Array(bufferLen * 2);
-    encoder.cpos = 0;
-  }
-  encoder.cbuf[encoder.cpos++] = num;
-};
-var writeVarUint = (encoder, num) => {
-  while (num > BITS7) {
-    write(encoder, BIT8 | BITS7 & num);
-    num = floor(num / 128);
-  }
-  write(encoder, BITS7 & num);
-};
-var _strBuffer = new Uint8Array(30000);
-var _maxStrBSize = _strBuffer.length / 3;
-var _writeVarStringNative = (encoder, str) => {
-  if (str.length < _maxStrBSize) {
-    const written = utf8TextEncoder.encodeInto(str, _strBuffer).written || 0;
-    writeVarUint(encoder, written);
-    for (let i = 0;i < written; i++) {
-      write(encoder, _strBuffer[i]);
-    }
-  } else {
-    writeVarUint8Array(encoder, encodeUtf8(str));
-  }
-};
-var _writeVarStringPolyfill = (encoder, str) => {
-  const encodedString = unescape(encodeURIComponent(str));
-  const len = encodedString.length;
-  writeVarUint(encoder, len);
-  for (let i = 0;i < len; i++) {
-    write(encoder, encodedString.codePointAt(i));
-  }
-};
-var writeVarString = utf8TextEncoder && utf8TextEncoder.encodeInto ? _writeVarStringNative : _writeVarStringPolyfill;
-var writeUint8Array = (encoder, uint8Array) => {
-  const bufferLen = encoder.cbuf.length;
-  const cpos = encoder.cpos;
-  const leftCopyLen = min(bufferLen - cpos, uint8Array.length);
-  const rightCopyLen = uint8Array.length - leftCopyLen;
-  encoder.cbuf.set(uint8Array.subarray(0, leftCopyLen), cpos);
-  encoder.cpos += leftCopyLen;
-  if (rightCopyLen > 0) {
-    encoder.bufs.push(encoder.cbuf);
-    encoder.cbuf = new Uint8Array(max(bufferLen * 2, rightCopyLen));
-    encoder.cbuf.set(uint8Array.subarray(leftCopyLen));
-    encoder.cpos = rightCopyLen;
-  }
-};
-var writeVarUint8Array = (encoder, uint8Array) => {
-  writeVarUint(encoder, uint8Array.byteLength);
-  writeUint8Array(encoder, uint8Array);
-};
-var floatTestBed = new DataView(new ArrayBuffer(4));
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/error.js
-var create2 = (s) => new Error(s);
-
-// ../../../node_modules/.pnpm/lib0@0.2.117/node_modules/lib0/decoding.js
-var errorUnexpectedEndOfArray = create2("Unexpected end of array");
-var errorIntegerOutOfRange = create2("Integer out of Range");
-var readUint8Array = (decoder, len) => {
-  const view = new Uint8Array(decoder.arr.buffer, decoder.pos + decoder.arr.byteOffset, len);
-  decoder.pos += len;
-  return view;
-};
-var readVarUint8Array = (decoder) => readUint8Array(decoder, readVarUint(decoder));
-var readVarUint = (decoder) => {
-  let num = 0;
-  let mult = 1;
-  const len = decoder.arr.length;
-  while (decoder.pos < len) {
-    const r = decoder.arr[decoder.pos++];
-    num = num + (r & BITS7) * mult;
-    mult *= 128;
-    if (r < BIT8) {
-      return num;
-    }
-    if (num > MAX_SAFE_INTEGER) {
-      throw errorIntegerOutOfRange;
-    }
-  }
-  throw errorUnexpectedEndOfArray;
-};
-
-// ../../../node_modules/.pnpm/y-protocols@1.0.7_yjs@13.6.30/node_modules/y-protocols/sync.js
+import * as encoding from "lib0/encoding";
+import * as decoding from "lib0/decoding";
 import * as Y from "yjs";
 var messageYjsSyncStep1 = 0;
 var messageYjsSyncStep2 = 1;
 var messageYjsUpdate = 2;
 var writeSyncStep1 = (encoder, doc) => {
-  writeVarUint(encoder, messageYjsSyncStep1);
+  encoding.writeVarUint(encoder, messageYjsSyncStep1);
   const sv = Y.encodeStateVector(doc);
-  writeVarUint8Array(encoder, sv);
+  encoding.writeVarUint8Array(encoder, sv);
 };
 var writeSyncStep2 = (encoder, doc, encodedStateVector) => {
-  writeVarUint(encoder, messageYjsSyncStep2);
-  writeVarUint8Array(encoder, Y.encodeStateAsUpdate(doc, encodedStateVector));
+  encoding.writeVarUint(encoder, messageYjsSyncStep2);
+  encoding.writeVarUint8Array(encoder, Y.encodeStateAsUpdate(doc, encodedStateVector));
 };
-var readSyncStep1 = (decoder, encoder, doc) => writeSyncStep2(encoder, doc, readVarUint8Array(decoder));
+var readSyncStep1 = (decoder, encoder, doc) => writeSyncStep2(encoder, doc, decoding.readVarUint8Array(decoder));
 var readSyncStep2 = (decoder, doc, transactionOrigin, errorHandler) => {
   try {
-    Y.applyUpdate(doc, readVarUint8Array(decoder), transactionOrigin);
+    Y.applyUpdate(doc, decoding.readVarUint8Array(decoder), transactionOrigin);
   } catch (error) {
     if (errorHandler != null)
       errorHandler(error);
@@ -206,12 +53,12 @@ var readSyncStep2 = (decoder, doc, transactionOrigin, errorHandler) => {
   }
 };
 var writeUpdate = (encoder, update) => {
-  writeVarUint(encoder, messageYjsUpdate);
-  writeVarUint8Array(encoder, update);
+  encoding.writeVarUint(encoder, messageYjsUpdate);
+  encoding.writeVarUint8Array(encoder, update);
 };
 var readUpdate = readSyncStep2;
 var readSyncMessage = (decoder, encoder, doc, transactionOrigin, errorHandler) => {
-  const messageType = readVarUint(decoder);
+  const messageType = decoding.readVarUint(decoder);
   switch (messageType) {
     case messageYjsSyncStep1:
       readSyncStep1(decoder, encoder, doc);