- App.tsx: full navigation (Auth stack + Main tabs with 5 screens) - Auth: LoginScreen, RegisterScreen, ForgotPasswordScreen - HomeScreen: dashboard with IoT metrics, weather widget, alerts, quick actions, sensors - MapScreen: interactive map with layer toggles (6 layers) - MarketplaceScreen: categories (6), products (5), search - ChatScreen: AI chat with quick prompts (4), bot responses - ProfileScreen: user info, stats, menu (9 items), logout - AlertsScreen: alert list with severity, acknowledge - SensorsScreen: sensor list with type filters (6 types), search - ZonesScreen: zone cards with stats - SettingsScreen: language picker (FR/EN/ES/DE), privacy, about - Stores: iotStore (sensors, zones, alerts), notificationStore, uiStore + i18n - Hooks: useSensors, useAlerts, useNotifications, useLocation - Components: Card, Button, LoadingSpinner, ErrorBoundary, Header - Services: iotService, notificationService (with axios API client) - Utils: formatters (temp, AQI, noise, dates), validators (email, password, IBAN) - Theme: colors.ts with full design system (Blue Ocean palette) - Ditto: fixed MongoDB connection, new JWT secrets, official gateway image
28 lines
642 B
JavaScript
28 lines
642 B
JavaScript
|
|
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);
|
|
}
|
|
}
|