Constantin LeueandClaude Sonnet 5
b51c6c16d5
Sharing/Import (Doku 3.5/3.6), analog shareMission()/shareDrone() und den importMissionInput/importDroneInput-Handlern im HTML-Demonstrator: - services/sharing/mission_share_codec.dart, drone_share_codec.dart: reine Funktionen zum Bauen/Parsen des Export-JSON (appVersion/exportedAt-Umschlag), inkl. Erkennung einer abweichenden Hauptversion beim Import - vollstaendig unit-getestet ohne Plugin-Abhaengigkeit. - services/database/waypoint_json_codec.dart: Waypoint-JSON-(De-)Serialisierung aus mission_repository.dart herausgezogen, damit Persistenz und Sharing exakt dasselbe Dateiformat verwenden statt es zu duplizieren. - services/sharing/sharing_service.dart: duenne I/O-Schicht - schreibt eine temporaere Datei und oeffnet das native Share-Sheet (share_plus), bzw. liest eine vom Nutzer per Systemdialog ausgewaehlte JSON-Datei (file_picker). Als Klasse mit Instanzmethoden gehalten, damit sie sich in Tests durch einen Fake ersetzen laesst. - ui/widgets/missions_drones_panel.dart: Share-Icon je Zeile, Import-Button im Toolbar beider Tabs. Paket-Versionen bewusst gewaehlt: file_picker 11.0.2/share_plus 11.x wurden zunaechst wegen einer win32-Konflikt-Aufloesung genutzt, kompilierten auf diesem Projekt (AGP 9.0.1) aber nicht - file_picker < 12.0.0-beta.1 prueft nur AGP-Version >= 9 und ueberspringt dann das Anwenden des Kotlin-Android- Plugins, in der Annahme, AGPs eingebauter Kotlin-Support wuerde das uebernehmen, was hier zu einem fehlenden compileReleaseKotlin-Task und "Symbol nicht gefunden" fuehrte. file_picker >=12.0.0-beta.1 respektiert zusaetzlich die bereits vom Flutter-Template gesetzte Gradle-Property android.builtInKotlin=false und wendet das Plugin dann korrekt an - file_picker auf ">=12.0.0-beta.1 <13.0.0" (share_plus zurueck auf ^13.3.0, beide dann konsistent auf win32 ^6.x) gesetzt, um dies zu nutzen. Zusaetzlich beim manuellen Durchtesten auf dem Pixel_10a-Emulator einen zweiten, davon unabhaengigen Bug gefunden und behoben: CurrentMissionMeta- Notifier.loadMission()/restoreLastSession() aktualisierten zwar Wegpunkte und Missionsname, bewegten aber nie die Kartenkamera - eine geladene Mission wurde dadurch mit falscher Kartenausschnitt angezeigt (Name/ Wegpunkte einer Stadt, Karte noch an der zuletzt betrachteten Stelle). Fix: _fitMapToWaypoints() zentriert nach dem Laden auf die Bounding-Box der Mission, analog der bereits vorhandenen _onFitPressed()-Logik in MapSearchControls. Getestet: 13 neue Unit-Tests fuer die Sharing-Codecs, 4 neue Widget-Tests mit einem Fake-SharingService (kein echter Platform-Channel-Zugriff in Tests). Alle 97 Tests sowie flutter analyze bestehen. Manuell auf dem Pixel_10a-Emulator verifiziert: natives Share-Sheet oeffnet sich mit der korrekten JSON-Datei, Datei-Import ueber den Systemdialog legt eine neue Mission bzw. ein neues Drohnenprofil an, Kartensprung beim Laden einer Mission funktioniert jetzt korrekt fuer sowohl manuelles Laden als auch den Autosave-Restore beim App-Start. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
37 lines
1.5 KiB
Dart
37 lines
1.5 KiB
Dart
import '../../domain/waypoint/flat_waypoint_list.dart';
|
|
|
|
/// JSON-(De-)Serialisierung fuer [Waypoint] - gemeinsam genutzt von der
|
|
/// Missions-Persistenz ([MissionRepository]) und dem Mission-Sharing
|
|
/// ([MissionShareCodec]), damit das Datei-Feldformat an beiden Stellen
|
|
/// garantiert identisch bleibt.
|
|
Map<String, dynamic> waypointToJson(Waypoint w) => {
|
|
'lat': w.lat,
|
|
'lon': w.lon,
|
|
'altitudeM': w.altitudeM,
|
|
'speedMs': w.speedMs,
|
|
'catchRadiusM': w.catchRadiusM,
|
|
'action': w.action.name,
|
|
'jumpTargetIndex': w.jumpTargetIndex,
|
|
'jumpRepeatCount': w.jumpRepeatCount,
|
|
'windSpeedMs': w.windSpeedMs,
|
|
'windDirFromDeg': w.windDirFromDeg,
|
|
'windElevationM': w.windElevationM,
|
|
};
|
|
|
|
Waypoint waypointFromJson(Map<String, dynamic> json) => Waypoint(
|
|
lat: (json['lat'] as num).toDouble(),
|
|
lon: (json['lon'] as num).toDouble(),
|
|
altitudeM: (json['altitudeM'] as num).toDouble(),
|
|
speedMs: (json['speedMs'] as num).toDouble(),
|
|
catchRadiusM: (json['catchRadiusM'] as num).toDouble(),
|
|
action: WaypointAction.values.firstWhere(
|
|
(a) => a.name == json['action'],
|
|
orElse: () => WaypointAction.none,
|
|
),
|
|
jumpTargetIndex: json['jumpTargetIndex'] as int?,
|
|
jumpRepeatCount: json['jumpRepeatCount'] as int?,
|
|
windSpeedMs: (json['windSpeedMs'] as num?)?.toDouble(),
|
|
windDirFromDeg: (json['windDirFromDeg'] as num?)?.toDouble(),
|
|
windElevationM: (json['windElevationM'] as num?)?.toDouble(),
|
|
);
|