UI and algorithm finished

This commit is contained in:
Levi Lesches 2025-05-05 05:04:39 -04:00
parent eaec35f730
commit 2e3813398e
11 changed files with 88 additions and 82 deletions

View file

@ -1,5 +1,5 @@
import "package:client/data.dart"; import "package:client/data.dart";
import "package:flutter/material.dart"; import "package:flutter/material.dart" hide Route;
import "package:google_maps_flutter/google_maps_flutter.dart"; import "package:google_maps_flutter/google_maps_flutter.dart";
import "package:client/view_models.dart"; import "package:client/view_models.dart";
@ -52,30 +52,36 @@ class HomePage extends ReactiveWidget<HomeModel> {
const Divider(), const Divider(),
const SizedBox(height: 8), const SizedBox(height: 8),
if (model.isLoading) if (model.isLoading)
const LinearProgressIndicator() const LinearProgressIndicator(),
else if (model.isSearching && model.path == null) if (model.errorText != null)
const Text("Could not connect to API") Text(model.errorText!),
else
for (final step in model.path ?? <PathStep>[]) Text(
"Get on at ${step.enter.lat}, ${step.enter.long}\n"
"Get off at ${step.exit.lat}, ${step.exit.long}",
),
Expanded( Expanded(
child: model.isGoogleReady child: model.isGoogleReady
? GoogleMap( ? GoogleMap(
onMapCreated: (controller) => model.mapController = controller, onMapCreated: (controller) => model.mapController = controller,
onTap: model.onMapTapped,
initialCameraPosition: const CameraPosition( initialCameraPosition: const CameraPosition(
target: LatLng(42.10125081757972, -75.94181323552698), target: LatLng(42.10125081757972, -75.94181323552698),
zoom: 14, zoom: 14,
), ),
markers: model.markers, markers: {
onTap: model.onMapTapped, ...model.markers,
for (final (stop, reason) in model.pathWaypoint) Marker(
markerId: MarkerId(stop.id.id),
position: stop.coordinates.toLatLng(),
infoWindow: InfoWindow(
title: reason,
snippet: stop.description,
),
),
},
circles: { circles: {
for (final route in model.pathStops) for (final route in model.pathStops)
for (final stop in route) Circle( for (final stop in route) Circle(
circleId: CircleId(stop.hashCode.toString()), circleId: CircleId(stop.hashCode.toString()),
center: stop.toLatLng(), center: stop.toLatLng(),
fillColor: Colors.white, fillColor: Colors.white,
zIndex: 1,
radius: 2, radius: 2,
), ),
}, },
@ -83,11 +89,22 @@ class HomePage extends ReactiveWidget<HomeModel> {
for (final (index, route) in model.pathStops.indexed) Polyline( for (final (index, route) in model.pathStops.indexed) Polyline(
polylineId: PolylineId(index.toString()), polylineId: PolylineId(index.toString()),
color: routeColors[index], color: routeColors[index],
jointType: JointType.round,
points: [ points: [
for (final stop in route) for (final stop in route)
stop.toLatLng(), stop.toLatLng(),
], ],
), ),
for (final (index, walkingPath) in model.pathWalking.indexed) Polyline(
polylineId: PolylineId((model.pathStops.length + index).toString()),
jointType: JointType.round,
width: 8,
patterns: List.filled(20, PatternItem.gap(3)),
points: [
for (final step in walkingPath)
step.toLatLng(),
],
),
}, },
) )
: const Center(child: CircularProgressIndicator()), : const Center(child: CircularProgressIndicator()),
@ -101,4 +118,4 @@ class HomePage extends ReactiveWidget<HomeModel> {
); );
} }
const routeColors = [Colors.blue, Colors.red, Colors.green, Colors.yellow, Colors.orange]; final routeColors = [Colors.red, Colors.orange, Colors.amber, Colors.green, Colors.blue, Colors.deepPurple, Colors.grey, Colors.pink, Colors.teal, ...List.filled(10, Colors.black)];

View file

@ -2,7 +2,7 @@ import "dart:async";
import "package:client/data.dart"; import "package:client/data.dart";
import "package:client/services.dart"; import "package:client/services.dart";
import "package:flutter/widgets.dart" hide Path; import "package:flutter/widgets.dart" hide Path, Route;
import "package:google_maps_flutter/google_maps_flutter.dart"; import "package:google_maps_flutter/google_maps_flutter.dart";
import "package:shared/graph.dart"; import "package:shared/graph.dart";
@ -10,6 +10,8 @@ import "package:shared/graph.dart";
import "home_markers.dart"; import "home_markers.dart";
import "view_model.dart"; import "view_model.dart";
typedef PathStep = (Stop, String);
/// The view model for the home page. /// The view model for the home page.
class HomeModel extends ViewModel with HomeMarkers { class HomeModel extends ViewModel with HomeMarkers {
final startLatitudeController = TextEditingController(); final startLatitudeController = TextEditingController();
@ -17,7 +19,6 @@ class HomeModel extends ViewModel with HomeMarkers {
final endLatitudeController = TextEditingController(); final endLatitudeController = TextEditingController();
final endLongitudeController = TextEditingController(); final endLongitudeController = TextEditingController();
Path? path;
GoogleMapController? mapController; GoogleMapController? mapController;
double? get startLatitude => double.tryParse(startLatitudeController.text); double? get startLatitude => double.tryParse(startLatitudeController.text);
@ -66,8 +67,8 @@ class HomeModel extends ViewModel with HomeMarkers {
super.updateEnd(coordinates, marker); super.updateEnd(coordinates, marker);
} }
String? pathText; List<String>? pathText;
List<Coordinates> pathWaypoint = []; List<PathStep> pathWaypoint = [];
List<List<Coordinates>> pathWalking = []; List<List<Coordinates>> pathWalking = [];
List<List<Coordinates>> pathStops = []; List<List<Coordinates>> pathStops = [];
@ -87,10 +88,11 @@ class HomeModel extends ViewModel with HomeMarkers {
String explainStep(StopState step) { String explainStep(StopState step) {
final route = routes[step.routeID]!; final route = routes[step.routeID]!;
final stop = stops[step.stopID]!; final stop = stops[step.stopID]!;
if (step.isGoal()) return "Get off at $stop";
return switch (step.method) { return switch (step.method) {
SearchMethod.bus => "Go one stop to $stop", SearchMethod.bus => "Ride the bus to $stop",
SearchMethod.start => "Walk to $stop\n and board the $route line", SearchMethod.start => "Walk to $stop\n and board the $route line",
SearchMethod.transfer => "Transfer to the $route line", SearchMethod.transfer => "Transfer at $stop\n to the $route line",
SearchMethod.walk => "Walk to $stop\n and board the $route line" SearchMethod.walk => "Walk to $stop\n and board the $route line"
}; };
} }
@ -99,6 +101,7 @@ class HomeModel extends ViewModel with HomeMarkers {
final start = (lat: startLatitude, long: startLongitude); final start = (lat: startLatitude, long: startLongitude);
final end = (lat: endLatitude, long: endLongitude); final end = (lat: endLatitude, long: endLongitude);
pathText = null; pathText = null;
errorText = null;
if (start.lat == null || start.long == null) return; if (start.lat == null || start.long == null) return;
if (end.lat == null || end.long == null) return; if (end.lat == null || end.long == null) return;
isSearching = true; isSearching = true;
@ -108,6 +111,9 @@ class HomeModel extends ViewModel with HomeMarkers {
if (path == null) { if (path == null) {
errorText = "An error occcurred"; errorText = "An error occcurred";
return; return;
} else if (path.isEmpty) {
errorText = "No path found";
return;
} }
pathWalking.clear(); pathWalking.clear();
pathWaypoint.clear(); pathWaypoint.clear();
@ -118,12 +124,12 @@ class HomeModel extends ViewModel with HomeMarkers {
switch (step.method) { switch (step.method) {
case SearchMethod.start: case SearchMethod.start:
pathWalking.add([start, position]); pathWalking.add([start, position]);
pathWaypoint.add(position); pathWaypoint.add( (stop, explainStep(step)) );
pathStops.add([position]); pathStops.add([position]);
case SearchMethod.bus: case SearchMethod.bus:
pathStops.last.add(position); pathStops.last.add(position);
case SearchMethod.transfer: case SearchMethod.transfer:
pathWaypoint.add(position); pathWaypoint.add( (stop, explainStep(step)) );
pathStops.last.add(position); pathStops.last.add(position);
pathStops.add([position]); pathStops.add([position]);
case SearchMethod.walk: case SearchMethod.walk:
@ -131,13 +137,19 @@ class HomeModel extends ViewModel with HomeMarkers {
final prevStopID = prevStep.stopID; final prevStopID = prevStep.stopID;
final prevStop = stops[prevStopID]!; final prevStop = stops[prevStopID]!;
pathWalking.add([prevStop.coordinates, position]); pathWalking.add([prevStop.coordinates, position]);
pathWaypoint.add(stop.coordinates); pathWaypoint.add( (prevStop, explainStep(prevStep)) );
pathWaypoint.add( (stop, explainStep(step)) );
pathStops.add([position]); pathStops.add([position]);
} }
if (index == (path.length - 1)) {
if (step.method == SearchMethod.bus) {
pathWaypoint.add( (stop, explainStep(step)) );
}
pathWalking.add([stop.coordinates, end]);
}
} }
final buffer = StringBuffer(); pathText = [];
explainPath(path, buffer.writeln); explainPath(path, pathText!.add);
pathText = buffer.toString();
isSearching = false; isSearching = false;
notifyListeners(); notifyListeners();
} }

View file

@ -34,10 +34,18 @@ class Sidebar extends ReusableReactiveWidget<HomeModel> {
Tab(text: provider), Tab(text: provider),
], ],
), ),
if (!model.shouldShowMarkers && model.pathText != null) if (!model.shouldShowMarkers) Expanded(
SingleChildScrollView(child: Center(child: Text(model.pathText!, style: context.textTheme.bodySmall))), child: ListView(
if (!model.shouldShowMarkers && model.pathText == null) children: [
const Center(child: Text("Choose start or end location")), if (model.pathText != null) ...[
for (final line in model.pathText!)
Text(line, style: context.textTheme.bodySmall),
]
else
const Center(child: Text("Choose start or end location")),
],
),
),
if (model.shouldShowMarkers) Expanded( if (model.shouldShowMarkers) Expanded(
child: TabBarView( child: TabBarView(
children: [ children: [

View file

@ -12055,7 +12055,6 @@
"Westside Inbound", "Westside Inbound",
"Downtown Center Leroy Outbound", "Downtown Center Leroy Outbound",
"Downtown Center Leroy Inbound", "Downtown Center Leroy Inbound",
"UCLUB",
"Campus Shuttle", "Campus Shuttle",
"Riviera Ridge - Town Square Mall", "Riviera Ridge - Town Square Mall",
"Oakdale Commons", "Oakdale Commons",
@ -12070,7 +12069,6 @@
"OCCT_2", "OCCT_2",
"OCCT_3", "OCCT_3",
"OCCT_4", "OCCT_4",
"OCCT_5",
"OCCT_8", "OCCT_8",
"OCCT_9", "OCCT_9",
"OCCT_10", "OCCT_10",
@ -12385,7 +12383,6 @@
"routes": [ "routes": [
"Westside Inbound", "Westside Inbound",
"Downtown Center Leroy Inbound", "Downtown Center Leroy Inbound",
"UCLUB",
"Campus Shuttle", "Campus Shuttle",
"Riviera Ridge - Town Square Mall", "Riviera Ridge - Town Square Mall",
"Oakdale Commons", "Oakdale Commons",
@ -12396,7 +12393,6 @@
"route_ids": [ "route_ids": [
"OCCT_2", "OCCT_2",
"OCCT_4", "OCCT_4",
"OCCT_5",
"OCCT_8", "OCCT_8",
"OCCT_9", "OCCT_9",
"OCCT_10", "OCCT_10",
@ -12721,12 +12717,10 @@
"longitude": -75.9657592773438, "longitude": -75.9657592773438,
"provider": "OCCT", "provider": "OCCT",
"routes": [ "routes": [
"UCLUB",
"Campus Shuttle", "Campus Shuttle",
"ITC - UCLUB" "ITC - UCLUB"
], ],
"route_ids": [ "route_ids": [
"OCCT_5",
"OCCT_8", "OCCT_8",
"OCCT_16" "OCCT_16"
] ]
@ -12739,12 +12733,10 @@
"longitude": -75.9673309326172, "longitude": -75.9673309326172,
"provider": "OCCT", "provider": "OCCT",
"routes": [ "routes": [
"UCLUB",
"Campus Shuttle", "Campus Shuttle",
"ITC - UCLUB" "ITC - UCLUB"
], ],
"route_ids": [ "route_ids": [
"OCCT_5",
"OCCT_8", "OCCT_8",
"OCCT_16" "OCCT_16"
] ]
@ -12757,11 +12749,9 @@
"longitude": -75.9564208984375, "longitude": -75.9564208984375,
"provider": "OCCT", "provider": "OCCT",
"routes": [ "routes": [
"UCLUB",
"ITC - UCLUB" "ITC - UCLUB"
], ],
"route_ids": [ "route_ids": [
"OCCT_5",
"OCCT_16" "OCCT_16"
] ]
}, },
@ -12773,11 +12763,9 @@
"longitude": -75.9558868408203, "longitude": -75.9558868408203,
"provider": "OCCT", "provider": "OCCT",
"routes": [ "routes": [
"UCLUB",
"ITC - UCLUB" "ITC - UCLUB"
], ],
"route_ids": [ "route_ids": [
"OCCT_5",
"OCCT_16" "OCCT_16"
] ]
}, },
@ -12789,12 +12777,10 @@
"longitude": -75.9628753662109, "longitude": -75.9628753662109,
"provider": "OCCT", "provider": "OCCT",
"routes": [ "routes": [
"UCLUB",
"Campus Shuttle", "Campus Shuttle",
"ITC - UCLUB" "ITC - UCLUB"
], ],
"route_ids": [ "route_ids": [
"OCCT_5",
"OCCT_8", "OCCT_8",
"OCCT_16" "OCCT_16"
] ]
@ -12807,11 +12793,9 @@
"longitude": -75.959098815918, "longitude": -75.959098815918,
"provider": "OCCT", "provider": "OCCT",
"routes": [ "routes": [
"UCLUB",
"ITC - UCLUB" "ITC - UCLUB"
], ],
"route_ids": [ "route_ids": [
"OCCT_5",
"OCCT_16" "OCCT_16"
] ]
}, },
@ -12823,11 +12807,9 @@
"longitude": -75.9538421630859, "longitude": -75.9538421630859,
"provider": "OCCT", "provider": "OCCT",
"routes": [ "routes": [
"UCLUB",
"ITC - UCLUB" "ITC - UCLUB"
], ],
"route_ids": [ "route_ids": [
"OCCT_5",
"OCCT_16" "OCCT_16"
] ]
}, },
@ -12839,11 +12821,9 @@
"longitude": -75.9595413208008, "longitude": -75.9595413208008,
"provider": "OCCT", "provider": "OCCT",
"routes": [ "routes": [
"UCLUB",
"ITC - UCLUB" "ITC - UCLUB"
], ],
"route_ids": [ "route_ids": [
"OCCT_5",
"OCCT_16" "OCCT_16"
] ]
}, },

View file

@ -1242,24 +1242,6 @@
"OCCT_1" "OCCT_1"
] ]
}, },
{
"id": "OCCT_5",
"provider": "OCCT",
"full_name": "UCLUB",
"short_name": "UC",
"stops": [
"OCCT_61",
"OCCT_63",
"OCCT_64",
"OCCT_65",
"OCCT_66",
"OCCT_67",
"OCCT_68",
"OCCT_69",
"OCCT_134",
"OCCT_1"
]
},
{ {
"id": "OCCT_8", "id": "OCCT_8",
"provider": "OCCT", "provider": "OCCT",

View file

@ -10,10 +10,12 @@ class BcRoutesParser extends Parser<RouteID, Route> {
final tripsFile = File(bcDataDir / "trips.txt"); final tripsFile = File(bcDataDir / "trips.txt");
final stopParser = BcStopParser(); final stopParser = BcStopParser();
static final routesToSkip = ["48", "91"];
Future<Map<RouteID, Route>> getRoutes() async => { Future<Map<RouteID, Route>> getRoutes() async => {
for (final csv in await readCsv(routesFile)) for (final csv in await readCsv(routesFile))
RouteID.fromBcCsv(csv): Route.fromBcCsv(csv), if (!routesToSkip.contains(csv[0]))
RouteID.fromBcCsv(csv): Route.fromBcCsv(csv),
}; };
Future<Map<RouteID, TripID>> getTripForRoutes(Map<TripID, List<StopID>> trips) async { Future<Map<RouteID, TripID>> getTripForRoutes(Map<TripID, List<StopID>> trips) async {

View file

@ -4,10 +4,12 @@ import "utils.dart";
class OcctRoutesParser extends Parser<RouteID, Route> { class OcctRoutesParser extends Parser<RouteID, Route> {
final routesFile = File(occtDataDir / "routes.json"); final routesFile = File(occtDataDir / "routes.json");
static final routesToSkip = {5};
@override @override
Future<Map<RouteID, Route>> parse() async => { Future<Map<RouteID, Route>> parse() async => {
for (final routeJson in await readJson(routesFile)) for (final routeJson in await readJson(routesFile))
RouteID(Provider.occt, routeJson["id"]): Route.fromOcctJson(routeJson), if (!routesToSkip.contains(routeJson["id"]))
RouteID(Provider.occt, routeJson["id"]): Route.fromOcctJson(routeJson),
}; };
} }

View file

@ -38,7 +38,7 @@ class OcctStopParser extends Parser<StopID, Stop> {
final stops = await getStops(); final stops = await getStops();
final routes = await getRoutes(); final routes = await getRoutes();
final routeNames = await getRouteNames(); final routeNames = await getRouteNames();
final routesToSkip = <RouteID>{RouteID(Provider.occt, "11")}; final routesToSkip = <RouteID>{RouteID(Provider.occt, "11"), RouteID(Provider.occt, "5")};
for (final (stopID, stop) in stops.records) { for (final (stopID, stop) in stops.records) {
for (final routeID in routes[stopID]!) { for (final routeID in routes[stopID]!) {
if (routesToSkip.contains(routeID)) continue; if (routesToSkip.contains(routeID)) continue;

View file

@ -32,7 +32,7 @@ Iterable<StopState>? findPath(Coordinates start, Coordinates end) {
endPoint: end, endPoint: end,
); );
log("Finding a route using ${state.hash()}"); log("Finding a route using ${state.hash()}");
final result = aStar(state, limit: 10000); final result = aStar(state, limit: 1000, verbose: false);
if (result == null) continue; if (result == null) continue;
paths.add(result.reconstructPath()); paths.add(result.reconstructPath());
} }

View file

@ -62,11 +62,11 @@ class StopState extends AStarState<StopState> with Encodable {
factory StopState.fromJson(Json json) => StopState( factory StopState.fromJson(Json json) => StopState(
stopID: StopID.fromJson(json["stop_id"]), stopID: StopID.fromJson(json["stop_id"]),
goalID: StopID.fromJson(json["goal_id"]),
routeID: RouteID.fromJson(json["route_id"]), routeID: RouteID.fromJson(json["route_id"]),
method: SearchMethod.fromJson(json["method"]), method: SearchMethod.fromJson(json["method"]),
depth: 0, depth: 0,
distanceWalked: 0, distanceWalked: 0,
goalID: StopID.fromJson("N/A"),
); );
@override @override
@ -74,7 +74,7 @@ class StopState extends AStarState<StopState> with Encodable {
final stop = stops[stopID]; final stop = stops[stopID];
final goal = stops[goalID]; final goal = stops[goalID];
final route = routes[routeID]; final route = routes[routeID];
return "${method.name}-$stop-$goal-$route"; return "$distanceWalked-${method.name}-$stop-$goal-$route";
} }
@override @override
@ -89,7 +89,8 @@ class StopState extends AStarState<StopState> with Encodable {
@override @override
Iterable<StopState> expand() { Iterable<StopState> expand() {
final route = routes[routeID]!; final route = routes[routeID];
if (route == null) return [];
final stop = stops[stopID]!; final stop = stops[stopID]!;
final stopIndex = route.stops.indexOf(stopID); final stopIndex = route.stops.indexOf(stopID);
if (stopIndex == -1) return []; if (stopIndex == -1) return [];
@ -99,11 +100,13 @@ class StopState extends AStarState<StopState> with Encodable {
final nextIndex = stopIndex + 1; final nextIndex = stopIndex + 1;
if (nextIndex < route.stops.length) { if (nextIndex < route.stops.length) {
final nextStopID = route.stops[nextIndex]; final nextStopID = route.stops[nextIndex];
final nextStop = stops[nextStopID]!;
final distanceDriven = stop.coordinates.distanceTo(nextStop.coordinates);
final state = StopState( final state = StopState(
stopID: nextStopID, stopID: nextStopID,
goalID: goalID, goalID: goalID,
routeID: routeID, routeID: routeID,
depth: depth + 1, depth: depth + distanceDriven,
distanceWalked: distanceWalked, distanceWalked: distanceWalked,
method: SearchMethod.bus, method: SearchMethod.bus,
); );
@ -112,13 +115,15 @@ class StopState extends AStarState<StopState> with Encodable {
// 2) Go back one stop on the same route // 2) Go back one stop on the same route
final prevIndex = stopIndex - 1; final prevIndex = stopIndex - 1;
if (prevIndex > 0) { if (prevIndex >= 0) {
final prevStopID = route.stops[prevIndex]; final prevStopID = route.stops[prevIndex];
final prevStop = stops[prevStopID]!;
final distanceDriven = stop.coordinates.distanceTo(prevStop.coordinates);
final state = StopState( final state = StopState(
stopID: prevStopID, stopID: prevStopID,
goalID: goalID, goalID: goalID,
routeID: routeID, routeID: routeID,
depth: depth + 1, depth: depth + distanceDriven,
distanceWalked: distanceWalked, distanceWalked: distanceWalked,
method: SearchMethod.bus, method: SearchMethod.bus,
); );
@ -131,7 +136,7 @@ class StopState extends AStarState<StopState> with Encodable {
stopID: stopID, stopID: stopID,
goalID: goalID, goalID: goalID,
routeID: otherRouteID, routeID: otherRouteID,
depth: depth + 2, depth: depth + 5,
distanceWalked: distanceWalked, distanceWalked: distanceWalked,
method: SearchMethod.transfer, method: SearchMethod.transfer,
); );
@ -146,7 +151,7 @@ class StopState extends AStarState<StopState> with Encodable {
stopID: otherStop.id, stopID: otherStop.id,
goalID: goalID, goalID: goalID,
routeID: otherRouteID, routeID: otherRouteID,
depth: depth + 3, depth: depth + 5 + 10*distanceToOther,
distanceWalked: distanceWalked + distanceToOther, distanceWalked: distanceWalked + distanceToOther,
method: SearchMethod.walk, method: SearchMethod.walk,
); );
@ -160,6 +165,7 @@ class StopState extends AStarState<StopState> with Encodable {
@override @override
Json toJson() => { Json toJson() => {
"stop_id": stopID, "stop_id": stopID,
"goal_id": goalID,
"route_id": routeID, "route_id": routeID,
"method": method.name, "method": method.name,
}; };

View file

@ -14,10 +14,7 @@ Response getPath(Request request) {
final start = (lat: startLat, long: startLong); final start = (lat: startLat, long: startLong);
final end = (lat: endLat, long: endLong); final end = (lat: endLat, long: endLong);
final path = findPath(start, end); final path = findPath(start, end) ?? [];
if (path == null) {
return Response.ok("No routes found", headers: corsHeaders);
}
final jsonBody = encodeJsonList(path); final jsonBody = encodeJsonList(path);
return Response.ok(jsonBody, headers: corsHeaders); return Response.ok(jsonBody, headers: corsHeaders);
} }