chore: update frontend build for v1.1.83 [skip ci]

This commit is contained in:
github-actions[bot]
2025-08-06 02:30:41 +00:00
parent f3787d775e
commit edb59f3b4a
19316 changed files with 2351599 additions and 35 deletions

View File

@@ -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);
}
}