services/map/campus_map_service library

Classes

CampusMapService: Reads public building and indoor data from NTUT's WFS service.

campusMapServiceProvider → Provider<CampusMapService>: Provides the public campus map client or a local demo implementation.
final

CampusMapBuildingDto = ({String code, String id, String name, CampusMapGeometryDto polygons}): A building outline as published by the NTUT GeoServer.
CampusMapGeometryDto = List<List<List<CampusMapPointDto>>>: GeoJSON polygons containing exterior rings and all interior holes.
CampusMapLayerDto = ({String buildingCode, String floor, String name}): A published indoor layer; floor suffixes retain mezzanine and roof levels.
CampusMapPointDto = ({double latitude, double longitude}): A WGS84 position, encoded as longitude and latitude in degrees.
CampusMapRoomDto = ({String id, String layerName, String nameEn, String nameZh, String number, CampusMapGeometryDto polygons}): A room's searchable metadata and optional geometry from one indoor layer.