以注释撰写AF ,RI
选择某种特定的表示方式R,进而指定某个子集是“合法”的(RI),并为该子集中的每个值做出“解释”(AF)——即如何映射到抽象空间中的值
即使是同样的R、同样的RI,也可能有不同的AF,即“解释不同”。
而在代码中撰写AF,RI时,其实时在代码规范上添加对应的想法(你设计这个ADT要干什么或是用户要求你干什么)
public class Set{
private String a;
//Rep invariant
// a contains no repeated chars
//Abstraction functions
// AF(a)={a[i] | 0 <= i < a.length()}
如上,在Rep invariant中写RI
AF中写函数
以注释撰写测式策略
(软件构造PPT上的图片)
以注释的形式撰写线程安全策略
(源于软件构造PPT)