postconditions

网络释义

1.	后置条件后置条件（postconditions）：方法运行之后将会有哪些状态发生。程序的返回结构必须检查，伴随产生的副作用也必须检查。 blog.csdn.net\|基于137个网页
2.	后条件 ...经被调用者满足了,那么该例程必须确保当它完成时所有后条件(postconditions)(以及任何不变式)皆为真." www.5doc.com\|基于22个网页
3.	后验条件良好的规约定义了用于强制对象状态的不变约束（invariants）以及描述操作影响的后验条件（postconditions）。通常我们不会 … blog.163.com\|基于7个网页

4.	后置状态　C) 检查前置状态(Preconditions)、后置状态(Postconditions)、类别不变量(Class Invariants)　　　前置状态--进入 method 前该达到的 … www.dk101.com\|基于6个网页
5.	堆栈不变 ... Output: 栈顶元素的数据值 \ Postconditions: 堆栈不变 Data 数据项 ... cs.fjzs.edu.cn\|基于2个网页
6.	队列为空 ... Output: 返回被删除元素 Postconditions: 队列为空 Preconditions: 堆栈非空 ... cs.fjzs.edu.cn\|基于2个网页
7.	后状况 ...时代，文化需要被不断重新发现。我们这个时代是一个“后状况（postconditions）”的时代，是“后现代的”，“后殖民主义的”、 … www.literature.org.cn\|基于 1 个网页
8.	后处理 1. 使用assert来检查private和protected函数中的参数预处理（preconditions）和后处理（postconditions）。2. 使用assert来检 … www.blogjava.net\|基于 1 个网页