assertions - 埃菲尔重定义函数可以定义自己的断言吗？

Question

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

Answer 1

是的，它可以。但是重新定义的特征只能削弱其父项的前置条件并加强其后置条件。为了更清楚，您必须在重新定义的功能中将您的前置条件声明为 a require else，并将后置条件声明为 anensure then以清楚地表明您正在削弱/加强相应的断言。

有关更深入的说明，请参阅文档站点。