Eiffel重新定义的函数可以定义自己的断言吗？

Question

我需要知道Eiffel中的重新定义函数是否可以定义自己的断言。

Answer 1

是的，它可以。但重新定义的特征只能弱化其父母的前提条件，强化后置条件。为了更清楚，你被迫在重新定义的特性中将前提条件声明为require else，并将后置条件声明为ensure then，以明确表示你正在弱化/加强相应的断言。

有关更深入的解释，请参阅documentation site。