summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/ai/api/ai_company.hpp2
-rw-r--r--src/ai/api/ai_industry.hpp1
-rw-r--r--src/ai/api/ai_town.hpp7
3 files changed, 0 insertions, 10 deletions
diff --git a/src/ai/api/ai_company.hpp b/src/ai/api/ai_company.hpp
index 4980f0ebc..6a5d64d5d 100644
--- a/src/ai/api/ai_company.hpp
+++ b/src/ai/api/ai_company.hpp
@@ -131,7 +131,6 @@ public:
/**
* Gets the amount your company have loaned.
* @return The amount loaned money.
- * @post The return value is always non-negative.
* @post GetLoanInterval() is always a multiplier of the return value.
*/
static Money GetLoanAmount();
@@ -139,7 +138,6 @@ public:
/**
* Gets the maximum amount your company can loan.
* @return The maximum amount your company can loan.
- * @post The return value is always non-negative.
* @post GetLoanInterval() is always a multiplier of the return value.
*/
static Money GetMaxLoanAmount();
diff --git a/src/ai/api/ai_industry.hpp b/src/ai/api/ai_industry.hpp
index 4ffdf42fc..a5513e453 100644
--- a/src/ai/api/ai_industry.hpp
+++ b/src/ai/api/ai_industry.hpp
@@ -29,7 +29,6 @@ public:
/**
* Gets the number of industries.
* @return The number of industries.
- * @post Return value is always non-negative.
* @note The maximum valid IndustryID can be higher than the value returned.
*/
static int32 GetIndustryCount();
diff --git a/src/ai/api/ai_town.hpp b/src/ai/api/ai_town.hpp
index 9ad4b24c1..da86d5994 100644
--- a/src/ai/api/ai_town.hpp
+++ b/src/ai/api/ai_town.hpp
@@ -104,7 +104,6 @@ public:
/**
* Gets the number of towns.
* @return The number of towns.
- * @post Return value is always non-negative.
*/
static int32 GetTownCount();
@@ -128,7 +127,6 @@ public:
* @param town_id The town to get the population of.
* @pre IsValidTown(town_id).
* @return The number of inhabitants.
- * @post Return value is always non-negative.
*/
static int32 GetPopulation(TownID town_id);
@@ -137,7 +135,6 @@ public:
* @param town_id The town to get the number of houses of.
* @pre IsValidTown(town_id).
* @return The number of houses.
- * @post Return value is always non-negative.
*/
static int32 GetHouseCount(TownID town_id);
@@ -156,7 +153,6 @@ public:
* @pre IsValidTown(town_id).
* @pre AICargo::IsValidCargo(cargo_id).
* @return The last month's production of the given cargo for this town.
- * @post Return value is always non-negative.
*/
static int32 GetLastMonthProduction(TownID town_id, CargoID cargo_id);
@@ -167,7 +163,6 @@ public:
* @pre IsValidTown(town_id).
* @pre AICargo::IsValidCargo(cargo_id).
* @return The amount of cargo supplied for transport from this town last month.
- * @post Return value is always non-negative.
*/
static int32 GetLastMonthSupplied(TownID town_id, CargoID cargo_id);
@@ -178,7 +173,6 @@ public:
* @pre IsValidTown(town_id).
* @pre AICargo::IsValidCargo(cargo_id).
* @return The percentage of given cargo transported from this town last month.
- * @post Return value is always non-negative.
*/
static int32 GetLastMonthTransportedPercentage(TownID town_id, CargoID cargo_id);
@@ -189,7 +183,6 @@ public:
* @pre IsValidTown(town_id).
* @pre AICargo::IsValidTownEffect(cargo_id).
* @return The amount of cargo received by this town last month for this cargo effect.
- * @post Return value is always non-negative.
*/
static int32 GetLastMonthReceived(TownID town_id, AICargo::TownEffect towneffect_id);