2 #include "common/arc.hpp" 3 #include "common/common.hpp" 4 #include "common/junction.hpp" 5 #include "common/layer_provider.hpp" 6 #include "common/line.hpp" 7 #include "common/object_provider.hpp" 8 #include "common/polygon.hpp" 9 #include "common/text.hpp" 10 #include "nlohmann/json_fwd.hpp" 11 #include "util/uuid.hpp" 12 #include "util/uuid_provider.hpp" 25 static Frame new_from_file(
const std::string &filename);
26 std::pair<Coordi, Coordi> get_bbox(
bool all =
false)
const;
28 UUID get_uuid()
const override;
30 json serialize()
const;
34 void operator=(
Frame const &sym);
38 std::map<UUID, Junction> junctions;
39 std::map<UUID, Line> lines;
40 std::map<UUID, Arc> arcs;
41 std::map<UUID, Text> texts;
42 std::map<UUID, Polygon> polygons;
Interface for classes that store objects identified by UUID (e.g. Line or Junction) ...
Definition: object_provider.hpp:10
a class to store JSON values
Definition: json.hpp:161
zip_int64_t int64_t
zip_int64_t typedef.
Definition: zip.hpp:103
Interface for objects that have a UUID.
Definition: uuid_provider.hpp:9
Definition: layer_provider.hpp:7
This class encapsulates a UUID and allows it to be uses as a value type.
Definition: uuid.hpp:16
basic_json<> json
default JSON class
Definition: json_fwd.hpp:61
A Junction is a point in 2D-Space.
Definition: junction.hpp:25