Push V1 app

2026-06-26 11:54:29 +02:00
parent 8b7caa1a5a
commit 9d1990523f
3881 changed files with 1291493 additions and 1 deletions
@@ -0,0 +1,27 @@
+
+import getIdentifierNames from "./util/getIdentifierNames";
+
+export default class NameManager {
+    __init() {this.usedNames = new Set()}
+
+  constructor(code, tokens) {;NameManager.prototype.__init.call(this);
+    this.usedNames = new Set(getIdentifierNames(code, tokens));
+  }
+
+  claimFreeName(name) {
+    const newName = this.findFreeName(name);
+    this.usedNames.add(newName);
+    return newName;
+  }
+
+  findFreeName(name) {
+    if (!this.usedNames.has(name)) {
+      return name;
+    }
+    let suffixNum = 2;
+    while (this.usedNames.has(name + String(suffixNum))) {
+      suffixNum++;
+    }
+    return name + String(suffixNum);
+  }
+}