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

| 我需要知道Eiffel中的重定义函数是否可以定义自己的断言。     
2020-01-31 2 条评论
分享

没有找到相关结果

    已邀请:

    蔬谢窗港

            是的，它可以。但是重新定义的功能只能削弱其父对象的先决条件，并增强其后继条件。为了更清楚，您必须在重新定义的功能中将前置条件声明为
    require else
    ，然后将后置条件声明为
    ensure then
    以明确说明您正在弱化/加强相应的断言。 请参阅文档站点以获取更深入的解释。     
    2020-01-31 0 0
    分享
    为什么被折叠? 0 个回复被折叠

    要回复问题请先登录或注册

    或代码 OrCode.com 备案号：粤ICP备15020848号-1
    Escape time: 0.036622047424316