1. | |
2. | |
3. | 后验条件 良好的规约定义了用于强制对象状态的不变约束(invariants)以及描述操作影响的后验条件(postconditions)。通常我们不会 … blog.163.com|Based on 7 pages |
4. | 后置状态 C) 检查前置状态(Preconditions)、后置状态(Postconditions)、类别不变量(Class Invariants) 前置状态--进入 method 前该达到的 … www.dk101.com|Based on 6 pages |
5. | |
6. | 队列为空 ... Output: 返回被删除元素 Postconditions: 队列为空 Preconditions: 堆栈非空 ... cs.fjzs.edu.cn|Based on 2 pages |
7. | 后状况 ...时代,文化需要被不断重新发现。我们这个时代是一个“后状况(postconditions)”的时代,是“后现代的”,“后殖民主义的”、 … www.literature.org.cn|Based on 1 page |
8. | 后处理 1. 使用assert来检查private和protected函数中的参数预处理(preconditions)和后处理(postconditions)。2. 使用assert来检 … www.blogjava.net|Based on 1 page |