postconditions
- 网络后置条件；后条件；后验条件
postconditionspostconditions
后置条件
后置条件（postconditions）：方法运行之后将会有哪些状态发生。程序的返回结构必须检查，伴随产生的副作用也必须检查。
后条件
...经被调用者满足了,那么该例程必须确保当它完成时所有后条件(postconditions)(以及任何不变式)皆为真."
后验条件
良好的规约定义了用于强制对象状态的不变约束（invariants）以及描述操作影响的后验条件（postconditions）。通常我们不会 …
后置状态
C) 检查前置状态(Preconditions)、后置状态(Postconditions)、类别不变量(Class Invariants) 前置状态--进入 method 前该达到的 …
堆栈不变
... Output: 栈顶元素的数据值 \ Postconditions: 堆栈不变 Data 数据项 ...
队列为空
... Output: 返回被删除元素 Postconditions: 队列为空 Preconditions: 堆栈非空 ...
后状况
...时代，文化需要被不断重新发现。我们这个时代是一个“后状况（postconditions）”的时代，是“后现代的”，“后殖民主义的”、 …
后处理
1. 使用assert来检查private和protected函数中的参数预处理（preconditions）和后处理（postconditions）。2. 使用assert来检 …
1
3
4
5