|
@@ -196,6 +196,8 @@ public:
|
|
GameResID producedResource;
|
|
GameResID producedResource;
|
|
ui32 producedQuantity;
|
|
ui32 producedQuantity;
|
|
std::set<GameResID> abandonedMineResources;
|
|
std::set<GameResID> abandonedMineResources;
|
|
|
|
+
|
|
|
|
+ bool isAbandoned() const;
|
|
|
|
|
|
private:
|
|
private:
|
|
void onHeroVisit(const CGHeroInstance * h) const override;
|
|
void onHeroVisit(const CGHeroInstance * h) const override;
|
|
@@ -209,7 +211,6 @@ private:
|
|
std::string getObjectName() const override;
|
|
std::string getObjectName() const override;
|
|
std::string getHoverText(PlayerColor player) const override;
|
|
std::string getHoverText(PlayerColor player) const override;
|
|
|
|
|
|
- bool isAbandoned() const;
|
|
|
|
public:
|
|
public:
|
|
template <typename Handler> void serialize(Handler &h, const int version)
|
|
template <typename Handler> void serialize(Handler &h, const int version)
|
|
{
|
|
{
|