10 bool has_object_type(ObjectType ty)
const override;
16 bool set_property(ObjectType type,
const UUID &uu, ObjectProperty::ID property,
18 bool get_property(ObjectType type,
const UUID &uu, ObjectProperty::ID property,
20 bool get_property_meta(ObjectType type,
const UUID &uu, ObjectProperty::ID property,
23 std::string get_display_name(ObjectType type,
const UUID &uu)
override;
26 std::pair<Coordi, Coordi> get_bbox()
override;
28 const std::string &get_filename()
const override;
30 ObjectType get_object_type()
const override
32 return ObjectType::PADSTACK;
37 return padstack.version;
41 void set_filename(
const std::string &filename);
44 std::map<UUID, Polygon> *get_polygon_map()
override;
45 std::map<UUID, Hole> *get_hole_map()
override;
48 std::string m_filename;
50 void rebuild_internal(
bool from_undo,
const std::string &comment)
override;
51 std::unique_ptr<HistoryManager::HistoryItem> make_history_item(
const std::string &comment)
override;
53 void save(
const std::string &suffix)
override;
54 void delete_autosave()
override;
57 std::string parameter_program_code;
58 ParameterSet parameter_set;
59 std::set<ParameterID> parameters_required;
Definition history_manager.hpp:10