feat: major progress

lib/controllers/map_controller.dart

@@ -0,0 +1,67 @@
+import 'dart:convert';
+
+import 'package:anyhow/anyhow.dart';
+import 'package:geojson/geojson.dart';
+import 'package:get/get.dart';
+import 'package:uninav/data/geo/model.dart';
+import 'package:uninav/data/geo/parser.dart';
+
+class MyMapController extends GetxController {
+  // constructor that calls loadgeojson with a default geojson string
+  final RxList<Feature> features = <Feature>[].obs;
+  final currentLevel = 1.obs;
+  final levels = <int>[1].obs;
+  @override
+  onInit() async {
+    print("init");
+    ever(features, refreshLevels);
+    super.onInit();
+  }
+
+  void refreshLevels(List<Feature> curFeatures) {
+    print("refreshLevels");
+    final newLevels = <int>[1];
+    for (final feature in curFeatures) {
+      if (feature.level != null && !newLevels.contains(feature.level)) {
+        newLevels.add(feature.level!);
+      }
+    }
+    newLevels.sort();
+    levels.value = newLevels;
+  }
+
+  Result<void> setLevel(int level) {
+    // check that level is in features
+    if (!levels.contains(level)) {
+      return bail('Level $level is not in features');
+    }
+
+    currentLevel.value = level;
+    return const Ok(());
+  }
+
+  Future<void> loadGeoJson(String geoJsonString) async {
+    try {
+      // print(geoJsonString);
+
+      final featuresList = <Feature>[];
+
+      final geojson = GeoJson();
+
+      await geojson.parse(geoJsonString);
+
+      for (final feature in geojson.features) {
+        print(feature.properties);
+        final parsed =
+            parseFeature(feature.properties ?? <String, dynamic>{}, feature);
+        if (parsed case Ok(:final ok)) {
+          featuresList.add(ok);
+        }
+      }
+
+      features.value = featuresList;
+    } catch (e) {
+      print('Error parsing GeoJSON: $e');
+    }
+  }
+}