【先验条件】(precondition)
针对方法(method),它规定了在调用该方法之前必须为真的条件。
【后验条件】(postcondition)
也是针对方法,它规定了方法顺利执行完毕之后必须为真的条件。
名词解释-什么是先验条件、后验条件
最新推荐文章于 2021-02-26 17:53:47 发布
【先验条件】(precondition)
针对方法(method),它规定了在调用该方法之前必须为真的条件。
【后验条件】(postcondition)
也是针对方法,它规定了方法顺利执行完毕之后必须为真的条件。