7f2dd5260f
- Complete React app with 7 developer tools - JSON Tool with visual structured editor - Serialize Tool with visual structured editor - URL, Base64, CSV/JSON, Beautifier, Diff tools - Responsive navigation with dropdown menu - Dark/light mode toggle - Mobile-responsive design with sticky header - All tools working with copy/paste functionality
28 lines
927 B
JavaScript
28 lines
927 B
JavaScript
"use strict";Object.defineProperty(exports, "__esModule", {value: true}); function _interopRequireDefault(obj) { return obj && obj.__esModule ? obj : { default: obj }; }
|
|
var _getIdentifierNames = require('./util/getIdentifierNames'); var _getIdentifierNames2 = _interopRequireDefault(_getIdentifierNames);
|
|
|
|
class NameManager {
|
|
__init() {this.usedNames = new Set()}
|
|
|
|
constructor(code, tokens) {;NameManager.prototype.__init.call(this);
|
|
this.usedNames = new Set(_getIdentifierNames2.default.call(void 0, 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);
|
|
}
|
|
} exports.default = NameManager;
|