10 bool has_object_type(ObjectType ty)
const override;
11 Symbol &get_symbol()
override;
14 Line *get_line(
const UUID &uu)
override;
16 Arc *get_arc(
const UUID &uu)
override;
19 void delete_junction(
const UUID &uu)
override;
20 Line *insert_line(
const UUID &uu)
override;
21 void delete_line(
const UUID &uu)
override;
22 Arc *insert_arc(
const UUID &uu)
override;
23 void delete_arc(
const UUID &uu)
override;
26 void delete_symbol_pin(
const UUID &uu)
override;
30 std::vector<Line *> get_lines()
override;
31 std::vector<Arc *> get_arcs()
override;
33 bool set_property(ObjectType type,
const UUID &uu, ObjectProperty::ID property,
35 bool get_property(ObjectType type,
const UUID &uu, ObjectProperty::ID property,
37 bool get_property_meta(ObjectType type,
const UUID &uu, ObjectProperty::ID property,
40 std::string get_display_name(ObjectType type,
const UUID &uu)
override;
42 const Symbol &get_canvas_data();
43 std::pair<Coordi, Coordi> get_bbox()
override;
45 void reload_pool()
override;
49 const std::string &get_filename()
const override;
51 ObjectType get_object_type()
const override
53 return ObjectType::SYMBOL;
56 class Rules *get_rules()
override;
64 void set_filename(
const std::string &filename);
67 std::map<UUID, Text> *get_text_map()
override;
68 std::map<UUID, Polygon> *get_polygon_map()
override;
71 std::string m_filename;
76 void rebuild_internal(
bool from_undo,
const std::string &comment)
override;
77 std::unique_ptr<HistoryManager::HistoryItem> make_history_item(
const std::string &comment)
override;
79 void save(
const std::string &suffix)
override;
80 void delete_autosave()
override;
Definition history_manager.hpp:10