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

如何解决埃菲尔重定义函数可以定义自己的断言吗？

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

解决方法

        是的，它可以。但是重新定义的功能只能削弱其父对象的先决条件，并增强其后继条件。为了更清楚，您必须在重新定义的功能中将前置条件声明为

require else

，然后将后置条件声明为

ensure then

以明确说明您正在弱化/加强相应的断言。 请参阅文档站点以获取更深入的解释。