e30ae8ed09
- 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
16 lines
376 B
TypeScript
16 lines
376 B
TypeScript
import { Source } from './source';
|
|
|
|
/**
|
|
* Represents a location in a Source.
|
|
*/
|
|
export interface SourceLocation {
|
|
readonly line: number;
|
|
readonly column: number;
|
|
}
|
|
|
|
/**
|
|
* Takes a Source and a UTF-8 character offset, and returns the corresponding
|
|
* line and column as a SourceLocation.
|
|
*/
|
|
export function getLocation(source: Source, position: number): SourceLocation;
|