埃菲尔重定义函数可以定义自己的断言吗？
提问于 2011-06-12 06:52:26
我需要知道Eiffel中重新定义的函数是否可以定义自己的断言。
回答 1
Stack Overflow用户
回答已采纳
发布于 2011-06-12 07:40:26
是的，它可以。但是，重新定义的特征只能削弱它的父级的前置条件，而只能增强它的后置条件。为了更清楚，您必须在重新定义的特性中将前置条件声明为require else，并将后置条件声明为ensure then，以清楚地表明您正在削弱/加强相应的断言。
有关更深入的解释，请参阅documentation site。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/6320601
复制相关文章
腾讯云开发者
