CampusMapBuildingDto typedef

CampusMapBuildingDto = ({String code, String id, String name, CampusMapGeometryDto polygons})

A building outline as published by the NTUT GeoServer.

Implementation

typedef CampusMapBuildingDto = ({
  /// The original GeoJSON feature ID, including its layer prefix.
  String id,

  /// The server's building code, or an empty string for uncoded outlines.
  String code,

  /// The building name, or an empty string when absent upstream.
  String name,

  /// The outline's polygons, including all interior holes.
  CampusMapGeometryDto polygons,
});